2077AI
2077AIdata
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 2 months ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language
Models
upvoted
a
paper
7 months ago
OmniDocBench: Benchmarking Diverse PDF Document Parsing with
Comprehensive Annotations
upvoted
a
paper
8 months ago
A Comparative Study on Reasoning Patterns of OpenAI's o1 Model
Organizations
