Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
2
Sohun Kim
SohunKim
Follow
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 22 hours ago
Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs
upvoted
a
paper
3 months ago
Judging What We Cannot Solve: A Consequence-Based Approach for Oracle-Free Evaluation of Research-Level Math
View all activity
Organizations
None yet
SohunKim
's datasets
None public yet
