👋 Open to Work

Jing Guo

hedgehog0

·

https://guoj.org/

AI & ML interests

AI for Mathematics, theoretical computer science, and extremal combinatorics

Recent Activity

liked a model 8 days ago

unsloth/Qwen3.8-27B-GGUF

upvoted a paper 4 months ago

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

liked a dataset 5 months ago

roneneldan/TinyStories

View all activity

Organizations

Papers 1

arxiv:2602.20629

models 0

None public yet

datasets 1

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

Viewer • Updated Mar 8 • 20 • 15