arxiv:2312.11370
ZHANG Jipeng
2003pro
AI & ML interests
NLP
Recent Activity
upvoted
a
paper
about 1 month ago
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem
Proving
upvoted
a
paper
5 months ago
LongWriter-Zero: Mastering Ultra-Long Text Generation via Reinforcement
Learning
Organizations
None yet