Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
Paper • 2606.12594 • Published • 15
CHEN，TAN
RichardLChen
AI & ML interests
None yet
Recent Activity
upvoted a paper 17 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 2 days ago
upvoted a paper 17 days ago
value error, The checkpoint you are trying to load has model type `qwen3_5`
3
#3 opened 4 months ago
by 
cesinsingapore