Jing Guo PRO

hedgehog0's activity

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

upvoted a paper about 1 month 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 about 1 month ago

roneneldan/TinyStories

Viewer • Updated Aug 12, 2024 • 2.14M • 89.7k • 980

liked a model about 2 months ago

amd/ReasonLite-0.6B

0.8B • Updated Jan 22 • 488 • 11

liked a dataset about 2 months ago

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

Viewer • Updated Mar 20 • 669 • 33 • 1

liked a model 2 months ago

mistralai/Leanstral-2603

Updated 26 days ago • 123 • 156

liked a dataset 2 months ago

SAIRfoundation/equational-theories-selected-problems

Viewer • Updated 19 days ago • 2.67k • 792 • 10

updated a dataset 2 months ago

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

Viewer • Updated Mar 8 • 20 • 52

published a dataset 2 months ago

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

Viewer • Updated Mar 8 • 20 • 52

upvoted a paper 2 months ago

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

Paper • 2602.03773 • Published Feb 3 • 13

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

qqggez/QEDBench

Updated Mar 2 • 16 • 2

liked a model 3 months ago

lm-provers/QED-Nano

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

upvoted an article 5 months ago

view article

Article

We Got Claude to Fine-Tune an Open Source LLM

• 
• 

burtenshaw, evalstate

•

Dec 4, 2025

• 624

upvoted a collection 6 months ago

Olmo 3

Collection

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

liked 2 models 6 months ago

PleIAs/Baguettotron

Text Generation • 0.3B • Updated 20 days ago • 1.93k • 252

moonshotai/Kimi-K2-Thinking

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

liked a dataset 7 months ago

nlile/hendrycks-MATH-benchmark

Viewer • Updated Jan 28, 2025 • 12.5k • 13.6k • 33

liked a Space 7 months ago

Running on CPU Upgrade

Featured

3.18k

The Smol Training Playbook

📚

3.18k

The secrets to building world-class LLMs

liked a model 7 months ago

rednote-hilab/dots.ocr

Image-Text-to-Text • 3B • Updated Oct 31, 2025 • 203k • 1.3k