Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
zsquaredz  new activity about 1 hour ago
Pythagoras-LM/SFT_Dataset:Add task categories, paper, code, and project links to dataset card
Jforeverss  new activity 1 day ago
Pythagoras-LM/Pythagoras-Prover-4B:32B model
Jforeverss  updated a model 2 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

Pythagoras-LM 's papers 1