Ma, Xiaoxing

8 publications

NeurIPS 2025 A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning Zhi Zhou, Yuhao Tan, Zenan Li, Yuan Yao, Lan-Zhe Guo, Yu-Feng Li, Xiaoxing Ma

ICLR 2025 Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma

IJCAI 2025 Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving Bingzhe Zhou, Hannan Wang, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma

NeurIPS 2024 Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Fan Yang, Xian Zhang, Xiaoxing Ma

NeurIPS 2024 Neuro-Symbolic Data Generation for Math Reasoning Zenan Li, Zhi Zhou, Yuan Yao, Yu-Feng Li, Chun Cao, Fan Yang, Xian Zhang, Xiaoxing Ma

ICLR 2023 Learning with Logical Constraints but Without Shortcut Satisfaction Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian

NeurIPS 2023 Neuro-Symbolic Learning Yielding Logical Constraints Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu

ICLR 2023 Softened Symbol Grounding for Neuro-Symbolic Systems Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian