A Minimal Agent for Automated Theorem Proving

Borja Requena, Austin Letson, Krystian Nowakowski +2

We propose a minimal agentic baseline that enables systematic comparison across different AI-based theorem prover architectures. This design implements the core features shared amo…