arxiv:2512.17260
Zhanming (Allan) Jie
allanjie
AI & ML interests
NLP, semantic parsing, named entity recognition
Recent Activity
upvoted
a
paper
about 1 month ago
GDPO: Group reward-Decoupled Normalization Policy Optimization for Multi-reward RL Optimization
authored
a paper
about 2 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
upvoted
a
paper
about 2 months ago
Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience