Jing Guo
hedgehog0
ยท
AI & ML interests
AI for Mathematics, theoretical computer science, and extremal combinatorics
Recent Activity
liked a model 1 day ago
mistralai/Leanstral-2603 liked a dataset 5 days ago
SAIRfoundation/equational-theories-selected-problems updated a dataset 11 days ago
hedgehog0/Qwen3.5-0.8B-Math-QuestionsOrganizations
None yet