Xia Zeng
6 papers · 2021–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Conference Polyglot (4) π Renaissance Researcher (7) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (24) π§ Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(14)
Conferences
EACL (2)
AAAI (1)
ACL (1)
CVPR (1)
NAACL (1)
Top co-authors
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
Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers
AAAI 2023
Active PETs: Active Data Annotation Prioritisation for Few-Shot Claim Verification with Pattern Exploiting Training
EACL 2023
QMUL-SDS at SCIVER: Step-by-Step Binary Classification for Scientific Claim Verification
NAACL 2021