Zhong

Jianyuan1's activity

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

commented 2 papers about 1 year ago

Mathesis: Towards Formal Theorem Proving from Natural Languages

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

2

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

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

2

New activity in Jianyuan1/cot-data over 1 year ago

Add dataset card, link to paper

1

#2 opened over 1 year ago by

nielsr

commented a paper over 1 year ago

Dyve: Thinking Fast and Slow for Dynamic Process Verification

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

2