Sean Welleck's starred repositories
prometheus-eval
Evaluate your LLM's response with Prometheus and GPT4 💯
knn-transformers
PyTorch + HuggingFace code for RetoMaton: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022), including an implementation of kNN-LM and kNN-MT
ntptutorial
Tutorial on neural theorem proving
easy-to-hard
Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision
gpt-accelera
Simple and efficient pytorch-native transformer training and inference (batched)
Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
naturalprover
NaturalProver: Grounded Mathematical Proof Generation with Language Models
ml-for-proofs
An open bibliography of machine learning for formal proof papers
ntptutorial-II
Neural theorem proving tutorial, version II
lean-tpe-public
The Lean Theorem Proving Environment