Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Sohun Kim's picture
2

Sohun Kim

SohunKim

AI & ML interests

None yet

Recent Activity

upvoted a paper about 17 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

upvoted a paper about 17 hours ago

Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs

Paper • 2605.09063 • Published 4 days ago • 60
upvoted a paper 3 months ago

Judging What We Cannot Solve: A Consequence-Based Approach for Oracle-Free Evaluation of Research-Level Math

Paper • 2602.06291 • Published Feb 6 • 24
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs