Anton Xue
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EMNLP | Probabilistic Soundness Guarantees in LLM Reasoning Chains. | Weiqiu You, Anton Xue, Shreya Havaldar, Delip Rao, Helen Jin, Chris Callison-Burch, Eric Wong |
| 2025 | ICLR | Logicbreaks: A Framework for Understanding Subversion of Rule-based Inference. | Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong |
| 2025 | ICML | On The Concurrence of Layer-wise Preconditioning Methods and Provable Feature Learning. | Thomas T. C. K. Zhang, Behrad Moniri, Ansh Nagwekar, Faraz Rahman, Anton Xue, Hamed Hassani, Nikolai Matni |
| 2021 | PODS | Synchronization Schemas. | Rajeev Alur, Phillip Hilliard, Zachary G. Ives, Konstantinos Kallas, Konstantinos Mamouras, Filip Niksic, Caleb Stanford, Val Tannen, Anton Xue |
| 2021 | VMCAI | A Self-certifying Compilation Framework for WebAssembly. | Kedar S. Namjoshi, Anton Xue |
| 2019 | HASKELL | G2Q: Haskell constraint solving. | William T. Hallahan, Anton Xue, Ruzica Piskac |
| 2019 | PLDI | Lazy counterfactual symbolic execution. | William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac |