Xia Zeng
6 papers · 2021–2026 · 5 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 ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Silver π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (26) π£ Hot Topic Early Bird
π
Renaissance Researcher
(5)
Top co-authors
Research topics
Machine Learning
(5)
Artificial Intelligence
(4)
Learning Types
(4)
Core AI
(3)
Mathematics & Optimization
(2)
Natural Language Processing
(2)
Applications
(2)
Optimization
(2)
Optimization & Theory
(2)
Deep Learning
(1)
Reinforcement Learning
(1)
Robotics
(1)
Application Areas
(1)
Architectures
(1)
Bayesian & Probabilistic
(1)
Keywords
claim verification
(2)
reinforcement learning
(1)
zero-shot learning
(1)
few-shot learning
(1)
policy optimization
(1)
binary classification
(1)
text classification
(1)
data annotation
(1)
semantic analysis
(1)
automated reasoning
(1)
reinforcement learning from human feedback
(1)
nonlinear control
(1)
linear programming
(1)
label prediction
(1)
polynomial optimization
(1)
reward model
(1)
safety verification
(1)
robust control
(1)
automated theorem proving
(1)
bayesian neural network
(1)
Papers
Teaching LLM to be Persuasive: Reward-Enhanced Policy Optimization for Alignment from Heterogeneous Rewards
ACL 2026
Automated Proof of Polynomial Inequalities via Reinforcement Learning
CVPR 2025
MAPLE: Micro Analysis of Pairwise Language Evolution for Few-Shot Claim Verification
EACL 2024
Active PETs: Active Data Annotation Prioritisation for Few-Shot Claim Verification with Pattern Exploiting Training
EACL 2023
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers
AAAI 2023
QMUL-SDS at SCIVER: Step-by-Step Binary Classification for Scientific Claim Verification
NAACL 2021