Zhong

Jianyuan1's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

commented a paper 3 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8 • 5 •

2

commented a paper 4 months ago

Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative Verifier

Paper • 2505.11966 • Published May 17 • 5 •

2

New activity in Jianyuan1/cot-data 7 months ago

Add dataset card, link to paper

1

#2 opened 7 months ago by

nielsr

commented a paper 7 months ago

Dyve: Thinking Fast and Slow for Dynamic Process Verification

Paper • 2502.11157 • Published Feb 16 • 7 •

2