👋 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 3 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 4 months ago

roneneldan/TinyStories

View all activity

Organizations

hedgehog0 's models

None public yet