Pinned Loading

1. cmu-l3/llmlean cmu-l3/llmlean Public

   LLMs + Lean, on your laptop or in the cloud

   Lean 129 17

2. cmu-l3/ntptutorial-II cmu-l3/ntptutorial-II Public

   Neural theorem proving tutorial, version II

   Jupyter Notebook 31 5

3. naturalprover naturalprover Public

   NaturalProver: Grounded Mathematical Proof Generation with Language Models

   Python 35 1

4. naturalproofs naturalproofs Public

   NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)

   Python 123 10

5. facebookresearch/unlikelihood_training facebookresearch/unlikelihood_training Public archive

   Neural Text Generation with Unlikelihood Training

   Python 310 45

6. symbolic_generalization symbolic_generalization Public

   Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)

   Python 14 3