Xiaoxing Ma
8 papers · 2023–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(16)
🏆
Keyword Champion
(2)
Venues
Top co-authors
Research topics
Artificial Intelligence
(8)
Core AI
(8)
Machine Learning
(5)
Optimization & Theory
(4)
Learning Types
(2)
Computer Science
(1)
Natural Language Processing
(1)
Application Areas
(1)
Applications · Computer Science
(1)
Applications · Natural Language Processing
(1)
Bayesian & Probabilistic · Artificial Intelligence
(1)
Bayesian & Probabilistic · Machine Learning
(1)
Learning Paradigms
(1)
Keywords
large language model
(4)
proof search
(2)
neuro-symbolic reasoning
(2)
symbol grounding
(2)
mathematical reasoning
(2)
logical constraint
(2)
neuro-symbolic learning
(2)
markov chain monte carlo
(2)
constraint satisfaction
(1)
variational framework
(1)
automated theorem proving
(1)
formal language
(1)
symbolic execution
(1)
smt solving
(1)
boltzmann distribution
(1)
satisfiability modulo theory
(1)
strategy synthesis
(1)
neuro-symbolic computing
(1)
data generation
(1)
knowledge alignment
(1)
Papers
Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
OSDI 2026
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
NeurIPS 2024
Neuro-Symbolic Data Generation for Math Reasoning
NeurIPS 2024
Learning with Logical Constraints but without Shortcut Satisfaction
ICLR 2023
Neuro-symbolic Learning Yielding Logical Constraints
NeurIPS 2023
Softened Symbol Grounding for Neuro-symbolic Systems
ICLR 2023