Pythagoras-LM

university

https://pythagoras-lm.github.io/

AI & ML interests

None defined yet.

Recent Activity

Jforeverss updated a model about 6 hours ago

Pythagoras-LM/Pythagoras-Prover-4B

Jforeverss published a model about 6 hours ago

Pythagoras-LM/Pythagoras-Prover-32B

Jforeverss updated a model about 8 hours ago

Pythagoras-LM/Pythagoras-Prover-32B

View all activity

Papers

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

View all Papers

models 3

Pythagoras-LM/Pythagoras-Prover-32B

Text Generation • 33B • Updated about 6 hours ago

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated about 6 hours ago • 634 • • 5

Pythagoras-LM/Pythagoras-Prover-Diffusion-4B

Text Generation • 4B • Updated Jun 18 • 14

datasets 3

Pythagoras-LM/SFT_Dataset_Distillation_32B

Updated about 11 hours ago

Pythagoras-LM/SFT_Dataset_Distillation_4B

Updated about 11 hours ago

Pythagoras-LM/SFT_Dataset

Viewer • Updated Jun 22 • 126k • 217 • 9