Theorem Proving

concepts · 2 notes linked

Related: Z3 · Lean Prover · Formal Methods · Formal Verification · Model Checking · Google Deepmind · Alphageometry · Neuro Symbolic AI

Notes

• AlphaGeometry: An Olympiad-level AI system for geometry — Neuro-symbolic AI solves Olympiad geometry by combining LM with deduction engine
• Blog :: What I've Learned About Formal Methods In Half a Year — Practical introduction to formal methods via model checking and theorem proving