Jing Guo
hedgehog0
ยท
AI & ML interests
AI for Mathematics, theoretical computer science, and extremal combinatorics
Recent Activity
authored
a paper
1 day ago
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs liked
a dataset 1 day ago
qqggez/QEDBench Organizations
None yet