Xiaoxing Ma
7 papers
· 2023–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)