Showing results for Llemma
GitHub Repo
https://github.com/llemma-demo/llemma-demo.github.io
llemma-demo/llemma-demo.github.io
No repository description available.
GitHub Repo
https://github.com/benwhalley/llemma
benwhalley/llemma
LLM tools for research and education
GitHub Repo
https://github.com/oscarlaird/dsp-llemma
oscarlaird/dsp-llemma
Draft Sketch Prove, using Llemma 34B
GitHub Repo
https://github.com/casey-martin/phi-llemma
casey-martin/phi-llemma
No repository description available.
GitHub Repo
https://github.com/EleutherAI/llemma-sample-explorer
EleutherAI/llemma-sample-explorer
Sample explorer tool for the Llemma models.
GitHub Repo
https://github.com/wellecks/llemma_formal2formal
wellecks/llemma_formal2formal
Llemma formal2formal (tactic prediction) theorem proving experiments
GitHub Repo
https://github.com/ArjunP314/LLEMMA-USAGE
ArjunP314/LLEMMA-USAGE
No repository description available.
GitHub Repo
https://github.com/keirp/llemma-sample-explorer