ruotian peng

prt66's activity

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

authored a paper 2 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Paper • 2505.02735 • Published May 5 • 32

updated 2 datasets 2 months ago

SphereLab/FormalMATH-All

Viewer • Updated May 4 • 5.56k • 279 • 7

SphereLab/FormalMATH-Lite

Viewer • Updated May 4 • 425 • 117 • 2

authored a paper 11 months ago

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

Paper • 2408.03695 • Published Aug 7, 2024 • 13