arxiv:2312.11370
ZHANG Jipeng
2003pro
AI & ML interests
NLP
Recent Activity
upvoted
a
paper
21 days ago
ToolOrchestra: Elevating Intelligence via Efficient Model and Tool Orchestration
upvoted
a
paper
2 months ago
GAR: Generative Adversarial Reinforcement Learning for Formal Theorem
Proving
Organizations
None yet