YX
Yexiang Xue
cs.AIcs.LGstat.MLArtificial IntelligenceBurnscs.CVcs.LOcs.ROAlgorithmscs.IR
On Valency
published · living versionsW_c543qqja·v1 · currentpublished
Fix, Not Just Resample: Bounded Compiler-Guided Repair in Lean 4
with Haotian Deng, Chris Farber, Sonal Narasimha, Samskrithi Sivakumar
1 version
Preprints & journals
54 papers in the corpus · 2015–2026Fix, Not Just Resample: Bounded Compiler-Guided Repair in Lean 42610.26942v1 · Haotian Deng, Chris Farber, Sonal Narasimha et al.2026 · 0 citationsarXivon Valency
Missing Bridges: Composition-Aware Active Imitation Learning2609.18004v1 · Maxwell J. Jacobson, Ahmed H Qureshi, Yexiang Xue2026 · 0 citationsarXiv
Teaching AI, Robotics, & Community: A Hubs-Based K-12 Education Framework for Reaching Rural Schools2609.18072v1 · Maxwell J. Jacobson, Gustavo Rodriguez-Rivera, Petros Drineas et al.2026 · 0 citationsarXiv
Enforcing Constraints in Generative Sampling via Adaptive Correction Scheduling2605.11214v1 · Noah Trupin, Yexiang Xue2026 · 0 citationsarXiv
PG-3DGS: Optimizing 3D Gaussian Splatting to Satisfy Physics Objectives2605.11266v1 · Zachary Lee, Maxwell Jacobson, Yexiang Xue2026 · 0 citationsarXiv
Zero-shot Imitation Learning by Latent Topology Mapping2605.08450v1 · Maxwell J. Jacobson, Yexiang Xue2026 · 0 citationsarXiv
Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization2604.01098v1 · Jinzhao Li, Nan Jiang, Yexiang Xue2026 · 0 citationsarXiv
A Multi-Agent Human-LLM Collaborative Framework for Closed-Loop Scientific Literature Summarization2604.01452v2 · Maxwell J. Jacobson, Daniel Xie, Jackson Shen et al.2026 · 0 citationsarXiv
Reducing Hallucinations in LLM-based Scientific Literature Analysis Using Peer Context Outlier Detection2604.01461v2 · Daniel Xie, Maxwell J. Jacobson, Adil Wazeer et al.2026 · 0 citationsarXiv
Automated Noninvasive Burn Diagnostic System for Health Care Using Artificial Intelligence: AMBUSH-AI.41709317 · El Masry, Mohamed, Rahman, Md Masudur, Gnyawali, Surya C et al.2026 · 1 citationAnnals of surgery. 2026;284(2):296-304
A Framework for Advancing Burn Assessment With Artificial Intelligence.40984083 · Rahman, Md Masudur, Masry, Mohamed E L, Gnyawali, Surya C et al.2025 · 2 citationsMilitary medicine. 2025;190(Supplement_2):387-393
AI-Driven Integrated System for Burn Depth Prediction With Electronic Medical Records: Algorithm Development and Validation.40815778 · Rahman, Md Masudur, Masry, Mohamed El, Gnyawali, Surya C et al.2025 · 8 citationsJMIR medical informatics. 2025;13:e68366
CALM: Contextual Analog Logic with Multimodality2506.14936v1 · Maxwell J. Jacobson, Corey J. Maley, Yexiang Xue2025 · 0 citationsarXiv
Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits2503.01009v2 · Jinzhao Li, Nan Jiang, Yexiang Xue2025 · 0 citationsarXiv
Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching2409.01416v2 · Nan Jiang, Md Nasim, Yexiang Xue2024 · 1 citationarXiv
A Tighter Convergence Proof of Reverse Experience Replay2408.16999v1 · Nan Jiang, Jinzhao Li, Yexiang Xue2024 · 0 citationsarXiv
Vertical Symbolic Regression via Deep Policy Gradient2402.00254v1 · Nan Jiang, Md Nasim, Yexiang Xue2024 · 4 citationsarXiv
Vertical Symbolic Regression2312.11955v1 · Nan Jiang, Md Nasim, Yexiang Xue2023 · 0 citationsarXiv
Autonomous Multi-modality Burn Wound Characterization using Artificial Intelligence.37948279 · Jacobson, Maxwell J, Masry, Mohamed El, Arrubla, Daniela Chanci et al.2023 · 14 citationsMilitary medicine. 2023;188(Suppl 6):674-681
Integrating Symbolic Reasoning into Neural Generative Models for Design Generation2310.09383v2 · Maxwell Joseph Jacobson, Yexiang Xue2023 · 5 citationsarXiv
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees2309.08883v2 · Jinzhao Li, Nan Jiang, Yexiang Xue2023 · 0 citationsarXiv
Efficient Learning of PDEs via Taylor Expansion and Sparse Decomposition into Value and Fourier Domains2309.07344v1 · Md Nasim, Yexiang Xue2023 · 1 citationarXiv
Racing Control Variable Genetic Programming for Symbolic Regression2309.07934v1 · Nan Jiang, Yexiang Xue2023 · 10 citationsarXiv
End-to-end Phase Field Model Discovery Combining Experimentation, Crowdsourcing, Simulation and Learning2311.12801v1 · Md Nasim, Anter El-Azab, Xinghang Zhang et al.2023 · 1 citationarXiv
Adversarial Style Transfer for Robust Policy Optimization in Deep Reinforcement Learning2308.15550v1 · Md Masudur Rahman, Yexiang Xue2023 · 0 citationsarXiv
Symbolic Regression via Control Variable Genetic Programming2306.08057v1 · Nan Jiang, Yexiang Xue2023 · 9 citationsarXiv
Adversarial Policy Optimization in Deep Reinforcement Learning2304.14533v1 · Md Masudur Rahman, Yexiang Xue2023 · 0 citationsarXiv
Accelerating Policy Gradient by Estimating Value Function from Prior Computation in Deep Reinforcement Learning2302.01399v1 · Md Masudur Rahman, Yexiang Xue2023 · 0 citationsarXiv
Robust Policy Optimization in Deep Reinforcement Learning2212.07536v1 · Md Masudur Rahman, Yexiang Xue2022 · 3 citationsarXiv
Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local Lemma2212.00296v4 · Nan Jiang, Yi Gu, Yexiang Xue2022 · 2 citationsarXiv
Human-centered XAI for Burn Depth Characterization2210.13535v2 · Maxwell J. Jacobson, Daniela Chanci Arrubla, Maria Romeo Tricas et al.2022 · 1 citationarXiv
Bootstrap Advantage Estimation for Policy Optimization in Reinforcement Learning2210.07312v1 · Md Masudur Rahman, Yexiang Xue2022 · 1 citationarXiv
Boosting single-cell gene regulatory network reconstruction via bulk-cell transcriptomic data.36070863 · Shu, Hantao, Ding, Fan, Zhou, Jingtian et al.2022 · 20 citationsBriefings in bioinformatics. 2022;23(5)
On the Value of Behavioral Representations for Dense Retrieval2208.05663v1 · Nan Jiang, Dhivya Eswaran, Choon Hui Teo et al.2022 · 0 citationsarXiv
Bootstrap State Representation using Style Transfer for Better Generalization in Deep Reinforcement Learning2207.07749v1 · Md Masudur Rahman, Yexiang Xue2022 · 2 citationsarXiv
Provable Constrained Stochastic Convex Optimization with XOR-Projected Gradient Descent2203.11829v1 · Fan Ding, Yijie Wang, Jianzhu Ma et al.2022 · 0 citationsarXiv
Reducing adverse impacts of Amazon hydropower expansion.35175810 · Flecker, Alexander S, Shi, Qinru, Almeida, Rafael M et al.2022 · 176 citationsScience (New York, N.Y.). 2022;375(6582):753-760
A Fast Randomized Algorithm for Massive Text Normalization2110.03024v1 · Nan Jiang, Chen Luo, Vihan Lakshman et al.2021 · 1 citationarXiv
From the Dexterous Surgical Skill to the Battlefield-A Robotics Exploratory Study.33499518 · Gonzalez, Glebys T, Kaur, Upinder, Rahman, Masudur et al.2021 · 20 citationsMilitary medicine. 2021;186(Suppl 1):288-294
From the DESK (Dexterous Surgical Skill) to the Battlefield -- A Robotics Exploratory Study2011.15100v1 · Glebys T. Gonzalez, Upinder Kaur, Masudur Rahma et al.2020 · 1 citationPublished in MHSRS 2020
Language Generation via Combinatorial Constraint Satisfaction: A Tree Search Enhanced Monte-Carlo Approach2011.12334v2 · Maosen Zhang, Nan Jiang, Lei Li et al.2020 · 14 citationsFindings of the Association for Computational Linguistics: EMNLP 2020, pages 1286-1298. November 16 - 20, 2020. 2020 Association for Computational Linguistics
Towards Efficient Discrete Integration via Adaptive Quantile Queries1910.05811v2 · Fan Ding, Hanjing Wang, Ashish Sabharwal et al.2019 · 0 citationsarXiv
Reducing greenhouse gas emissions of Amazon hydropower with strategic dam planning.31537792 · Almeida, Rafael M, Shi, Qinru, Gomes-Selman, Jonathan M et al.2019 · 226 citationsNature communications. 2019;10(1):4281
DESK: A Robotic Activity Dataset for Dexterous Surgical Skills Transfer to Medical Robots1903.00959v1 · Naveen Madapana, Md Masudur Rahman, Natalia Sanchez-Tamayo et al.2019 · 32 citationsarXiv
End-to-End Refinement Guided by Pre-trained Prototypical Classifier1805.08698v2 · Junwen Bai, Zihang Lai, Runzhe Yang et al.2018 · 0 citationsarXiv
End-to-End Learning for the Deep Multivariate Probit Model1803.08591v4 · Di Chen, Yexiang Xue, Carla P. Gomes2018 · 26 citationsarXiv
Scalable Relaxations of Sparse Packing Constraints: Optimal Biocontrol in Predator-Prey Network1711.06800v3 · Johan Bjorck, Yiwei Bai, Xiaojian Wu et al.2017 · 1 citationarXiv
Multi-Entity Dependence Learning with Rich Context via Conditional Variational Auto-encoder1709.05612v1 · Luming Tang, Yexiang Xue, Di Chen et al.2017 · 18 citationsarXiv
XOR-Sampling for Network Design with Correlated Stochastic Events1705.08218v2 · Xiaojian Wu, Yexiang Xue, Bart Selman et al.2017 · 2 citationsarXiv
Automated Phase Mapping with AgileFD and its Application to Light Absorber Discovery in the V-Mn-Nb Oxide System.28064478 · Suram, Santosh K, Xue, Yexiang, Bai, Junwen et al.2017 · 80 citationsACS combinatorial science. 2017;19(1):37-46
Career total: 130 works. 54 are in this corpus.Showing the 50 most recent.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.