Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving
by striking on Saturday October 04, 2025 @04:11PM
(#45476303)
No, we're using the OpenAI vendored version of zod-to-json-schema via https://github.com/transitive-bullshit/openai-zod-to-json-sc..., and applying it directly to the `json_schema` field of the OpenAI API. Maybe we have a subtle bug somewhere but I'd expect a 400 response if we were genuinely sending a malformed request.
[ Parent
| on HN ]
There are no comments on this comment yet.