Hongxuan Tang

1. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
   2025/04/30 by Z. Z. Ren, Ren, Z. Z., Zhihong Shao +33 · 4 voices · 59 citations
   #cs.CL #cs.AI
2. Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation
   2024/05/30 by Jingchang Chen, Hongxuan Tang, Chen, Jingchang +11 · 7 citations
   Computer Science · #Model-Driven Software Engineering Techniques
3. UGen: Unified Autoregressive Multimodal Model with Progressive Vocabulary Learning
   2025/03/27 by Hongxuan Tang, Tang, Hongxuan, Hao Liu +3 · 6 citations
   Computer Science · #Computation and Language (cs.CL) #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #Natural Language Processing Techniques #Speech and dialogue systems #Topic Modeling
4. DuTrust: A Sentiment Analysis Dataset for Trustworthiness Evaluation
   2021/08/30 by Lijie Wang, Wang, Lijie, Hao Liu +13 · 2 citations
   Computer Science · Medicine · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #Artificial Intelligence in Healthcare and Education