Jing Guo

hedgehog0's activity

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

liked a model about 3 hours ago

Abiray/Minimax-H3-nvfp4-INT4-INT8-Convrot

Image-Text-to-Video • Updated Aug 15 • 143k • 247

liked a model 3 days ago

Qwen/Qwen-Image-2.1-Turbo

Text-to-Image • 7B • Updated 7 days ago • 25k • 990

liked a model 9 days ago

deepseek-ai/DeepSeek-V4.1-Flash

Image-Text-to-Text • 763B • Updated 3 days ago • 1.37M • • 4.65k

liked a model 2 months ago

unsloth/Qwen3.8-27B-GGUF

27B • Updated Aug 20 • 6.66M • 5.19k

upvoted a paper 6 months ago

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?

Paper • 2601.03298 • Published Jan 6 • 1

liked a dataset 7 months ago

roneneldan/TinyStories

Viewer • Updated Aug 12, 2024 • 2.14M • 141k • 1.21k

liked 2 models 7 months ago

amd/ReasonLite-0.6B

0.8B • Updated Jan 22 • 430 • 11

mistralai/Leanstral-2603

Updated Jul 15 • 102 • 178

liked a dataset 7 months ago

SAIRfoundation/equational-theories-selected-problems

Viewer • Updated Sep 11 • 3.27k • 3.85k • 11

upvoted a paper 8 months ago

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

Paper • 2602.03773 • Published Feb 3 • 15

authored a paper 8 months ago

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

Paper • 2602.20629 • Published Feb 24 • 5

upvoted a paper 8 months ago

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

Paper • 2602.20629 • Published Feb 24 • 5

liked a dataset 8 months ago

qqggez/QEDBench

Updated Mar 2 • 28 • 2

liked a model 8 months ago

lm-provers/QED-Nano

Text Generation • 4B • Updated Mar 23 • 306 • • 89

upvoted an article 10 months ago

view article

Article

We Got Claude to Fine-Tune an Open Source LLM

• 
• 

burtenshaw, evalstate

•

Dec 4, 2025

• 636

upvoted a collection 11 months ago

Olmo 3

Collection

Artifacts for the Olmo 3 release. • 7 items • Updated Mar 2 • 178

liked a model 11 months ago

PleIAs/Baguettotron

Text Generation • 0.3B • Updated Apr 27 • 1.66k • 269

liked a model 12 months ago

moonshotai/Kimi-K2-Thinking

Text Generation • 1T • Updated Jan 30 • 54.9k • • 1.73k

liked a dataset 12 months ago

nlile/hendrycks-MATH-benchmark

Viewer • Updated Jan 28, 2025 • 12.5k • 9.99k • 34

liked a Space 12 months ago

Running on CPU Upgrade

Featured

3.34k

The Smol Training Playbook

📚

3.34k

The secrets to building world-class LLMs