Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
lm-provers (LM Provers)

LM Provers

community

AI & ML interests

None defined yet.

Recent Activity

lewtun updated a Space 18 days ago

lm-provers/qed-nano-blogpost

JasperDekoninck updated a Space 18 days ago

lm-provers/qed-nano-blogpost

ars22 published a dataset 19 days ago

lm-provers/FineProofs-RL-test

View all activity

Collections 1

spaces 1

QED-Nano: Teaching a Tiny Model to Prove Hard Theorems

Who needs 1T parameters? Olympiad proofs with a 4B model

models 2

lm-provers/QED-Nano

Text Generation • 4B • Updated 26 days ago • 2.26k • 87

lm-provers/QED-Nano-SFT

Text Generation • 4B • Updated Mar 9 • 253 • 6

datasets 7

lm-provers/FineProofs-RL

Viewer • Updated Feb 14 • 5.23k • 144 • 6

lm-provers/FineProofs-SFT

Viewer • Updated Feb 14 • 12.1k • 299 • 39

lm-provers/FineProofs-RL-test

Viewer • Updated Feb 13 • 128 • 53

lm-provers/ProofBench

Viewer • Updated Jan 9 • 290 • 122 • 3

lm-provers/olympiads-proof-graderbench

Viewer • Updated Dec 17, 2025 • 480 • 20 • 2

lm-provers/matharena-gradingbench

Viewer • Updated Dec 4, 2025 • 438 • 14 • 2

lm-provers/IMOProofBench

Viewer • Updated Nov 5, 2025 • 60 • 156 • 2