Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
Paper • 2606.12594 • Published • 13
CHEN，TAN
RichardLChen
AI & ML interests
None yet
Recent Activity
upvoted a paper 16 days ago
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks new activity 4 months ago
Qwen/Qwen3.5-9B:value error, The checkpoint you are trying to load has model type `qwen3_5`Organizations
None yet
upvoted a paper 1 day ago