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

  • Log In
  • Sign Up
Jikai Jin's picture
1 1

Jikai Jin

bobbyjin
passagereptile455's profile picture
ยท
https://jkjin.com/

AI & ML interests

None yet

Recent Activity

updated a Space 5 days ago
bobbyjin/oll-v2-performance-frontiers
published a Space 6 days ago
bobbyjin/oll-v2-performance-frontiers
liked a Space 8 months ago
AI4Math/IneqMath-Leaderboard
View all activity

Organizations

SLM's profile picture

updated a Space 5 days ago
Running
1

Estimated Performance Frontiers of Open LLM Leaderboard Tasks

๐Ÿš€
1

Estimate LLM task performance from pretraining compute

published a Space 6 days ago
Running
1

Estimated Performance Frontiers of Open LLM Leaderboard Tasks

๐Ÿš€
1

Estimate LLM task performance from pretraining compute

liked a Space 8 months ago
Running
6

IneqMath Leaderboard

๐Ÿฆ€
6

Load and display a Hugging Face space with a blue UI

upvoted a paper 9 months ago

Solving Inequality Proofs with Large Language Models

Paper โ€ข 2506.07927 โ€ข Published Jun 9, 2025 โ€ข 20
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs