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 4 days ago

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

liked a dataset 9 days ago

roneneldan/TinyStories

liked a model 16 days ago

amd/ReasonLite-0.6B

View all activity

Organizations

hedgehog0 's models

None public yet