Xiaoxing Ma
7 papers · 2023–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
π
Conference Polyglot
(3)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(12)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
ICLR (3)
NIPS (3)
IJCAI (1)
Top co-authors
Keywords
large language model
(2)
mathematical reasoning
(2)
semantic consistency
(1)
automated reasoning
(1)
markov chain monte carlo
(1)
automated theorem proving
(1)
formal language
(1)
symbolic execution
(1)
smt solving
(1)
neuro-symbolic learning
(1)
strategy synthesis
(1)
data generation
(1)
knowledge alignment
(1)
neuro-symbolic reasoning
(1)
symbol grounding
(1)
neural network
(1)
logical constraint
(1)
difference-of-convex programming
(1)
z3 solver
(1)
reinforcement learning
(1)
Papers
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
ICLR 2025
Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving
IJCAI 2025
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
NIPS 2024
Neuro-Symbolic Data Generation for Math Reasoning
NIPS 2024
Softened Symbol Grounding for Neuro-symbolic Systems
ICLR 2023
Neuro-symbolic Learning Yielding Logical Constraints
NIPS 2023
Learning with Logical Constraints but without Shortcut Satisfaction
ICLR 2023