Jing Guo PRO

hedgehog0's activity

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

upvoted a paper 18 days 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 23 days ago

roneneldan/TinyStories

Viewer • Updated Aug 12, 2024 • 2.14M • 94.1k • 965

liked a model about 1 month ago

amd/ReasonLite-0.6B

0.8B • Updated Jan 22 • 146 • 11

liked a dataset about 1 month ago

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

Viewer • Updated Mar 20 • 669 • 30 • 1

liked a model about 1 month ago

mistralai/Leanstral-2603

Updated 9 days ago • 193 • 153

liked a dataset about 2 months ago

SAIRfoundation/equational-theories-selected-problems

Viewer • Updated 2 days ago • 2.67k • 3.88k • 10

updated a dataset about 2 months ago

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

Viewer • Updated Mar 8 • 20 • 35

published a dataset about 2 months ago

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

Viewer • Updated Mar 8 • 20 • 35

upvoted a paper about 2 months ago

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

Paper • 2602.03773 • Published Feb 3 • 13

authored a paper about 2 months 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 2 months 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 2 months ago

qqggez/QEDBench

Updated Mar 2 • 11 • 2

liked a model 3 months ago

lm-provers/QED-Nano

Text Generation • 4B • Updated Mar 23 • 1.47k • • 87

upvoted an article 4 months ago

view article

Article

We Got Claude to Fine-Tune an Open Source LLM

• 
• 

Dec 4, 2025

•

624

upvoted a collection 5 months ago

Olmo 3

Collection

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

liked a model 5 months ago

PleIAs/Baguettotron

Text Generation • 0.3B • Updated 3 days ago • 2.35k • 248

liked a model 6 months ago

moonshotai/Kimi-K2-Thinking

Text Generation • 1.1T • Updated Jan 30 • 110k • • 1.7k

liked a dataset 6 months ago

nlile/hendrycks-MATH-benchmark

Viewer • Updated Jan 28, 2025 • 12.5k • 12.4k • 32

liked a Space 6 months ago

Running on CPU Upgrade

Featured

3.13k

The Smol Training Playbook

📚

3.13k

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 • 181k • 1.3k