Pinned

1. LEGO-Prover LEGO-Prover Public

   Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries

   Python 41 4

2. Portal-to-ISAbelle Portal-to-ISAbelle Public

   Forked from albertqjiang/Portal-to-ISAbelle

   https://albertqjiang.github.io/Portal-to-ISAbelle/

   Python 1

3. POETRY POETRY Public

   Code for the paper: Proving Theorems Recursively

   7

4. ADMN ADMN Public

   A tensorflow implementation for "Attention-based Adaptive Memory Network for Recommendation with Review and Rating"

   Python 4 1

5. lean-gym lean-gym Public

   Forked from openai/lean-gym

   Lean

6. transformers transformers Public

   Forked from huggingface/transformers

   🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

   Python