Hugging Face's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
Jforeverss  updated a dataset about 4 hours ago
Pythagoras-LM/SFT_Dataset_Distillation_32B
Jforeverss  published a dataset about 4 hours ago
Pythagoras-LM/SFT_Dataset_Distillation_32B
Jforeverss  updated a dataset about 4 hours ago
Pythagoras-LM/SFT_Dataset_Distillation_4B
View all activity

Papers

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

View all Papers

Pythagoras-LM 's papers 1