arxiv:2505.02735
minghao
Liam-Liu
AI & ML interests
LLM, AD
Recent Activity
authored
a paper
2 days ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language
Models
upvoted
a
paper
2 days ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language
Models
authored
a paper
23 days ago
Objaverse++: Curated 3D Object Dataset with Quality Annotations
Organizations
Papers
13
models
0
None public yet
datasets
0
None public yet