AlphaProof Nexus
LLM-aided formal proof search framework for Lean
A framework for LLM-aided formal proof search in Lean, combining prover subagents, Lean compiler verification, optional AlphaProof calls, and an evolutionary agent for mathematics research.
Recent stories
0 linked stories
No linked stories yet.