ruotian peng

prt66's activity

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

authored a paper 7 days ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published 7 days ago • 27

updated a dataset 8 days ago

SphereLab/FormalMATH-All

Viewer • Updated 8 days ago • 5.56k • 222 • 3

updated a dataset 9 days ago

SphereLab/FormalMATH-Lite

Viewer • Updated 9 days ago • 425 • 38 • 1

authored a paper 9 months ago

Openstory++: A Large-scale Dataset and Benchmark for Instance-aware Open-domain Visual Storytelling

Paper • 2408.03695 • Published Aug 7, 2024 • 13