Hugging Face's logo
Jing Guo's picture
Open to Work
8 31

Jing Guo PRO

hedgehog0
danylo-boiko's profile picture
·
https://guoj.org/

AI & ML interests

AI for Mathematics, theoretical computer science, and extremal combinatorics

Recent Activity

upvoted a paper 18 days ago
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
liked a dataset 23 days ago
roneneldan/TinyStories
liked a model about 1 month ago
amd/ReasonLite-0.6B
View all activity

Organizations

ML intern explorers's profile picture Tiny Aya Math Edition's profile picture