Jing Guo PRO
hedgehog0
AI & ML interests
AI for Mathematics, theoretical computer science, and extremal combinatorics
Recent Activity
upvoted a paper about 19 hours ago
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone? liked a dataset 6 days ago
roneneldan/TinyStories liked a model 13 days ago
amd/ReasonLite-0.6BOrganizations
