arxiv:2512.17260
Zhanming (Allan) Jie
allanjie
AI & ML interests
NLP, semantic parsing, named entity recognition
Recent Activity
liked
a model 26 days ago
zai-org/GLM-5 authored
a paper
3 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience