Hugging Face's logo
Jing Guo's picture
👋 Open to Work

Jing Guo

hedgehog0
8 32
danylo-boiko's profile picture webbrain-one-225437's profile picture
·
https://guoj.org/

AI & ML interests

AI for Mathematics, theoretical computer science, and extremal combinatorics

Recent Activity

liked a model about 14 hours ago
deepseek-ai/DeepSeek-V4.1-Flash
liked a model about 2 months ago
unsloth/Qwen3.8-27B-GGUF
upvoted a paper 6 months ago
130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
View all activity

Organizations

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