HF Mirror's logo
Activity Feed

AI & ML interests

None defined yet.

Recent Activity
Jforeverss  new activity about 6 hours ago
Pythagoras-LM/Pythagoras-Prover-4B:32B model
Jforeverss  updated a model 1 day ago
Pythagoras-LM/Pythagoras-Prover-Diffusion-4B
Jforeverss  updated a model 1 day ago
Pythagoras-LM/Pythagoras-Prover-4B
View all activity

Papers

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

View all Papers