Jing Guo PRO

hedgehog0's activity

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

upvoted a paper 1 day 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 days ago

roneneldan/TinyStories

Viewer • Updated Aug 12, 2024 • 2.14M • 96.9k • 951

liked a model 14 days ago

amd/ReasonLite-0.6B

0.8B • Updated Jan 22 • 281 • 11

liked a dataset 25 days ago

tiny-aya-math-edition/math-bench-old

Viewer • Updated 25 days ago • 669 • 166 • 1

liked a model 28 days ago

mistralai/Leanstral-2603

Updated 28 days ago • 300 • 147

liked a dataset about 1 month ago

SAIRfoundation/equational-theories-selected-problems

Viewer • Updated 20 days ago • 1.87k • 4.85k • 10

updated a dataset about 1 month ago

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

Viewer • Updated Mar 8 • 20 • 26

published a dataset about 1 month ago

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

Viewer • Updated Mar 8 • 20 • 26

upvoted a paper about 1 month ago

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

Paper • 2602.03773 • Published Feb 3 • 13

authored a paper about 1 month ago

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

Paper • 2602.20629 • Published Feb 24 • 4

upvoted a paper about 1 month ago

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

Paper • 2602.20629 • Published Feb 24 • 4

liked a dataset about 1 month ago

qqggez/QEDBench

Updated Mar 2 • 7 • 2

liked a model about 2 months ago

lm-provers/QED-Nano

Text Generation • 4B • Updated 22 days ago • 3.05k • 87

upvoted an article 4 months ago

view article

Article

We Got Claude to Fine-Tune an Open Source LLM

• 
• 

Dec 4, 2025

•

619

upvoted a collection 5 months ago

Olmo 3

Collection

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

liked 2 models 5 months ago

PleIAs/Baguettotron

Text Generation • 0.3B • Updated Dec 14, 2025 • 1.93k • 245

moonshotai/Kimi-K2-Thinking

Text Generation • 1.1T • Updated Jan 30 • 73.5k • • 1.69k

liked a dataset 5 months ago

nlile/hendrycks-MATH-benchmark

Viewer • Updated Jan 28, 2025 • 12.5k • 10k • 31

liked a Space 5 months ago

Running on CPU Upgrade

Featured

3.1k

The Smol Training Playbook

📚

3.1k

The secrets to building world-class LLMs

liked a model 6 months ago

rednote-hilab/dots.ocr

Image-Text-to-Text • 3B • Updated Oct 31, 2025 • 175k • 1.29k