Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
7
3
32
LI Jia
liyongsea
Follow
huxijin8848's profile picture
chitanda's profile picture
Tonic's profile picture
40 followers
·
13 following
liyongsea
AI & ML interests
Code generation
Recent Activity
published
a dataset
11 days ago
AI-MO/GeometryLeanBench
published
a model
19 days ago
AI-MO/Kimina-Prover-RL-1.7B
published
a dataset
19 days ago
AI-MO/Kimina-Prover-Promptset
View all activity
Organizations
liyongsea
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a model
27 days ago
openai/gpt-oss-120b
Text Generation
•
120B
•
Updated
6 days ago
•
2.43M
•
•
3.69k
liked
a dataset
about 1 month ago
AI-MO/NuminaMath-LEAN
Viewer
•
Updated
Jul 31
•
104k
•
1.56k
•
40
liked
2 models
about 2 months ago
Goedel-LM/Goedel-Prover-V2-32B
Text Generation
•
33B
•
Updated
5 days ago
•
2.32k
•
36
moonshotai/Kimi-K2-Instruct
Text Generation
•
Updated
22 days ago
•
410k
•
•
2.12k
liked
a model
3 months ago
moonshotai/Kimi-Dev-72B
Text Generation
•
73B
•
Updated
Jun 17
•
5.1k
•
•
362
liked
a dataset
4 months ago
nvidia/OpenMathReasoning
Viewer
•
Updated
May 27
•
5.68M
•
8.76k
•
331
liked
a model
5 months ago
AI-MO/Kimina-Autoformalizer-7B
Text Generation
•
8B
•
Updated
Apr 16
•
2.06k
•
•
13
liked
2 models
6 months ago
perplexity-ai/r1-1776
Text Generation
•
671B
•
Updated
Feb 26
•
52.3k
•
2.3k
moonshotai/Moonlight-16B-A3B-Instruct
Text Generation
•
16B
•
Updated
Mar 3
•
192k
•
178
liked
a dataset
6 months ago
facebook/natural_reasoning
Viewer
•
Updated
Feb 21
•
1.15M
•
1.56k
•
517
liked
2 datasets
7 months ago
open-r1/OpenR1-Math-220k
Viewer
•
Updated
Feb 18
•
450k
•
14.7k
•
641
AI-MO/NuminaMath-1.5
Viewer
•
Updated
Feb 10
•
896k
•
4.32k
•
158
liked
a dataset
8 months ago
HuggingFaceTB/finemath
Viewer
•
Updated
Feb 6
•
48.3M
•
6.46k
•
331
liked
a model
9 months ago
Qwen/QwQ-32B-Preview
Text Generation
•
33B
•
Updated
Jan 12
•
110k
•
•
1.74k
liked
a dataset
12 months ago
yingyingzhang/metamath-qwen2-math
Viewer
•
Updated
Oct 1, 2024
•
467k
•
75
•
33
liked
a dataset
about 1 year ago
AI-MO/NuminaMath-CoT
Viewer
•
Updated
Nov 25, 2024
•
860k
•
4.92k
•
489
liked
3 models
about 1 year ago
mistralai/Mamba-Codestral-7B-v0.1
7B
•
Updated
Jul 24
•
37.4k
•
604
AI-MO/NuminaMath-7B-TIR
Text Generation
•
7B
•
Updated
Aug 14, 2024
•
1.27k
•
348
lerobot/act_aloha_sim_transfer_cube_human
Robotics
•
Updated
Mar 6
•
1.09k
•
29
liked
a model
over 1 year ago
mistralai/Codestral-22B-v0.1
22B
•
Updated
Jul 24
•
69.4k
•
1.3k
Load more