Proof Sketches
The intuition behind formal reasoning, AI agents, and verified code.
2023
- An In-Context Learning Agent for Formal Theorem-Proving
How can in-context learning help in proving theorems?
Get new posts: follow on X or subscribe via RSS.
The intuition behind formal reasoning, AI agents, and verified code.
How can in-context learning help in proving theorems?
Get new posts: follow on X or subscribe via RSS.