Popular repositories Loading

1. robust-proof-autoformalization robust-proof-autoformalization Public

   Code for paper: Evaluating the Robustness of Proof Autoformalization in Lean 4

   Python 2

2. kimina-lean-server kimina-lean-server Public

   From https://github.com/project-numina/kimina-lean-server

   Python

3. spark spark Public

   Resources for DGX Spark

4. base-and-edit base-and-edit Public

   Code for paper "Formalize Once, Edit the Rest: Efficient Lean-Based Answer Selection for Math Reasoning"

   Python