Pinned Loading

1. WakingUp WakingUp Public

   Experiments on detecting and recovering from hallucinations in AI coding models

   Python

2. LeanTool LeanTool Public

   A "code intepreter" for Lean

   Python 17 1

3. FormalizeWithTest FormalizeWithTest Public

   Autoformalization of coding problems, verified with test cases

   Python 3

4. CodeProofTheArena CodeProofTheArena Public

   Lean coding problem solving challenge website with proof verification

   Python 8

5. CodeProofBenchmark CodeProofBenchmark Public

   Benchmark set of code-with-proof problems and solutions

   Lean 2

6. SafeVerify SafeVerify Public

   A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions

   Lean 2