Popular repositories Loading

1. llmlean llmlean Public

   LLMs + Lean, on your laptop or in the cloud

   Lean 121 14

2. ntptutorial-II ntptutorial-II Public

   Neural theorem proving tutorial, version II

   Jupyter Notebook 28 5

3. ntp-toolkit ntp-toolkit Public

   Neural theorem proving toolkit: data extraction tools for Lean 4

   Lean 16 2

4. minictx-eval minictx-eval Public

   Neural theorem proving evaluation via the Lean REPL

   Python 11 1

5. minicodeprops-eval minicodeprops-eval Public

   Evaluation for miniCodeProps: a Minimal Benchmark for Proving Code Properties

   Lean 1

6. llmlean-example llmlean-example Public

   Lean