Pythagoras-LM

university

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

AI & ML interests

None defined yet.

Recent Activity

Jforeverss updated a model about 2 months ago

Pythagoras-LM/Pythagoras-Prover-4B

Jforeverss published a model about 2 months ago

Pythagoras-LM/Pythagoras-Prover-32B

Jforeverss updated a model about 2 months ago

Pythagoras-LM/Pythagoras-Prover-32B

View all activity

Papers

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

View all Papers

Pythagoras-LM 's papers 1

Submitted by

Joshua Ong Jun Leang

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

Pythagoras-LM