Pythagoras-LM

university

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

AI & ML interests

None defined yet.

Recent Activity

zsquaredz new activity about 12 hours ago

Pythagoras-LM/SFT_Dataset:Add task categories, paper, code, and project links to dataset card

Jforeverss new activity 2 days ago

Pythagoras-LM/Pythagoras-Prover-4B:32B model

Jforeverss updated a model 3 days ago

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

View all activity

Papers

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

View all Papers

models 2

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

Text Generation • 4B • Updated 3 days ago • 109

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated 3 days ago • 268 • • 3

datasets 1

Pythagoras-LM/SFT_Dataset

Viewer • Updated about 12 hours ago • 126k • 118 • 4