Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
Paper • 2606.12594 • Published • 13
ziying chen
chanztuying
·
AI & ML interests
None yet
Recent Activity
liked a dataset about 21 hours ago
DB-Edinburgh/VectorBenchmark upvoted a paper about 21 hours ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation updated a dataset 1 day ago
DB-Edinburgh/VectorBenchmarkOrganizations
upvoted a paper about 21 hours ago