Tag: formal verification

OpenAI Astra Solves Open Math Problems Using Lean Formal Proofs