arxiv:2602.20629
Jing Guo PRO
hedgehog0
AI & ML interests
AI for Mathematics, theoretical computer science, and extremal combinatorics
Recent Activity
liked a model 4 days ago
amd/ReasonLite-0.6B liked a dataset 15 days ago
tiny-aya-math-edition/math-bench liked a model 18 days ago
mistralai/Leanstral-2603Organizations
