Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents(github.com)
github.com
Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents
https://github.com/stanford-mast/a1/tree/main/examples/z3_reasoning
0 comments
—
https://github.com/stanford-mast/a1/tree/main/examples/z3_reasoning
—