| Generation of Verbal Stems in Derivationally Rich Language | May 1, 2012 | Text Generationvalid | —Unverified | 0 |
| Uncertainty Quantification and Exploration for Reinforcement Learning | Oct 12, 2019 | reinforcement-learningReinforcement Learning | —Unverified | 0 |
| Frequency-Domain Bounds for the Multiconductor Telegrapher's Equation | Apr 2, 2025 | valid | —Unverified | 0 |
| Can ChatGPT support software verification? | Nov 4, 2023 | Code Generationvalid | —Unverified | 0 |
| Efficient Conformal Prediction under Data Heterogeneity | Dec 25, 2023 | Conformal PredictionFederated Learning | —Unverified | 0 |
| From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis | Aug 7, 2023 | valid | —Unverified | 0 |
| From Conformal Predictions to Confidence Regions | May 28, 2024 | Conformal PredictionPrediction Intervals | —Unverified | 0 |
| Efficient Combination of Rematerialization and Offloading for Training DNNs | Dec 1, 2021 | valid | —Unverified | 0 |
| From Estimation to Sampling for Bayesian Linear Regression with Spike-and-Slab Prior | Jul 9, 2023 | regressionvalid | —Unverified | 0 |
| A Forward Reachability Perspective on Robust Control Invariance and Discount Factors in Reachability Analysis | Oct 26, 2023 | valid | —Unverified | 0 |
