Zhong

Jianyuan1's activity

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

commented a paper 8 months ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

Paper • 2506.07047 • Published Jun 8, 2025 • 6 •

2

commented a paper 9 months ago

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

Paper • 2505.11966 • Published May 17, 2025 • 5 •

2

New activity in Jianyuan1/cot-data 12 months ago

Add dataset card, link to paper

1

#2 opened 12 months ago by

nielsr

commented a paper 12 months ago

Dyve: Thinking Fast and Slow for Dynamic Process Verification

Paper • 2502.11157 • Published Feb 16, 2025 • 7 •

2