Aristotle APIThe World's Most Advanced Formal Reasoning Agent> Get access nowWhat others are saying about Aristotle... We’re the #1 formal math model according to ProofBench, by @ValsAI, ahead of the closest competitor by 15%. Aristotle Agent can autonomously prove/formalize for up to 24 hrs without human intervention.
GitHub - lean-dojo/LeanCopilot: LLMs as Copilots for Theorem Proving in Lean
