Jing Guo

hedgehog0's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 2 days ago

hedgehog0/Qwen3.5-0.8B-Math-Questions

Viewer • Updated 1 day ago • 20 • 13

published a dataset 2 days ago

hedgehog0/Qwen3.5-0.8B-Math-Questions

Viewer • Updated 1 day ago • 20 • 13

upvoted a paper 3 days ago

Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL

Paper • 2602.03773 • Published Feb 3 • 12

authored a paper 7 days ago

QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs

Paper • 2602.20629 • Published 14 days ago • 3

upvoted a paper 7 days ago

QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs

Paper • 2602.20629 • Published 14 days ago • 3

liked a dataset 7 days ago

qqggez/QEDBench

Updated 7 days ago • 10 • 1

liked a model 24 days ago

lm-provers/QED-Nano

Text Generation • 4B • Updated 22 days ago • 8.71k • 84

upvoted an article 3 months ago

view article

Article

We Got Claude to Fine-Tune an Open Source LLM

• 
• 

Dec 4, 2025

•

608

upvoted a collection 4 months ago

Olmo 3

Collection

Artifacts for the Olmo 3 release. • 7 items • Updated 8 days ago • 166

liked 2 models 4 months ago

PleIAs/Baguettotron

Text Generation • 0.3B • Updated Dec 14, 2025 • 4.98k • 239

moonshotai/Kimi-K2-Thinking

Text Generation • Updated Jan 30 • 99.1k • • 1.68k

liked a dataset 4 months ago

nlile/hendrycks-MATH-benchmark

Viewer • Updated Jan 28, 2025 • 12.5k • 6.29k • 30

liked a Space 4 months ago

Running on CPU Upgrade

Featured

3.04k

The Smol Training Playbook

📚

3.04k

The secrets to building world-class LLMs

liked a model 5 months ago

rednote-hilab/dots.ocr

Image-Text-to-Text • Updated Oct 31, 2025 • 207k • 1.27k

liked a model 6 months ago

CohereLabs/c4ai-command-a-03-2025

Text Generation • Updated Oct 30, 2025 • 5.07k • • 380

upvoted an article 6 months ago

view article

Article

Mixture of Experts Explained

• 
• 
• +4

Dec 11, 2023

•

1.09k

liked 2 models 6 months ago

trillionlabs/Tri-70B-Intermediate-Checkpoints

Updated Sep 10, 2025 • 43 • 53

Qwen/Qwen3-Next-80B-A3B-Thinking

Text Generation • Updated Sep 15, 2025 • 84.5k • • 484

liked a model 7 months ago

Goedel-LM/Goedel-Prover-V2-32B

Text Generation • Updated Aug 27, 2025 • 4.27k • 63

upvoted an article 8 months ago

view article

Article

Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models

• 

Jul 10, 2025

•

54