wellecks/llemma_formal2formal

Llemma formal2formal (tactic prediction) theorem proving experiments

⭐ 20 | 🍴 11

EleutherAI/llemma-sample-explorer

Sample explorer tool for the Llemma models.

⭐ 9 | 🍴 0

keirp/llemma-sample-explorer

⭐ 1 | 🍴 0

oscarlaird/dsp-llemma

Draft Sketch Prove, using Llemma 34B

⭐ 1 | 🍴 0