Jing Guo's picture

Open to Work

Jing Guo PRO

hedgehog0

·

https://guoj.org/

AI & ML interests

AI for Mathematics, theoretical computer science, and extremal combinatorics

Recent Activity

upvoted a paper 2 days ago

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

liked a dataset 8 days ago

roneneldan/TinyStories

liked a model 15 days ago

amd/ReasonLite-0.6B

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 • 26