Anton Xue
6 papers · 2021–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π Renaissance Researcher (5) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (5) π Cross-Pollinator (14)
πΊοΈ
Taxonomy Completionist
(16)
Conferences
NIPS (2)
EMNLP (1)
ICLR (1)
ICML (1)
L4DC (1)
Top co-authors
Keywords
probabilistic modeling
(1)
anomaly detection
(1)
feature attribution
(1)
formal verification
(1)
error detection
(1)
lipschitz continuity
(1)
probabilistic framework
(1)
generative model
(1)
diffusion model
(1)
lipschitz constant
(1)
model explanation
(1)
counterfactual explanation
(1)
formal specification
(1)
stability guarantee
(1)
reasoning chain
(1)
statistical guarantee
(1)
data-driven control
(1)
system level synthesis
(1)
trajectory averaging
(1)
closed-loop performance
(1)
Papers
Probabilistic Soundness Guarantees in LLM Reasoning Chains
EMNLP 2025
Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference
ICLR 2025
On The Concurrence of Layer-wise Preconditioning Methods and Provable Feature Learning
ICML 2025
AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
NIPS 2024
Stability Guarantees for Feature Attributions with Multiplicative Smoothing
NIPS 2023
Data-Driven System Level Synthesis
L4DC 2021