| Symbolic Reduction for Formal Synthesis of Global Lyapunov Functions | Jun 22, 2025 | Design Synthesisvalid | —Unverified | 0 |
| Auto-Regressive Surface Cutting | Jun 22, 2025 | valid | —Unverified | 0 |
| Identifying economic narratives in large text corpora -- An integrated approach using Large Language Models | Jun 18, 2025 | ArticlesSemantic Role Labeling | —Unverified | 0 |
| Probabilistic Trajectory GOSPA: A Metric for Uncertainty-Aware Multi-Object Tracking Performance Evaluation | Jun 18, 2025 | Multi-Object TrackingObject Tracking | —Unverified | 0 |
| Performative Validity of Recourse Explanations | Jun 18, 2025 | counterfactualvalid | —Unverified | 0 |
| On the relationship between prediction intervals, tests of sharp nulls and inference on realized treatment effects in settings with few treated units | Jun 17, 2025 | Prediction Intervalsvalid | —Unverified | 0 |
| S^4C: Speculative Sampling with Syntactic and Semantic Coherence for Efficient Inference of Large Language Models | Jun 17, 2025 | Text Generationvalid | —Unverified | 0 |
| Reimagining Target-Aware Molecular Generation through Retrieval-Enhanced Aligned Diffusion | Jun 17, 2025 | Drug DesignDrug Discovery | —Unverified | 0 |
| HypER: Literature-grounded Hypothesis Generation and Distillation with Provenance | Jun 15, 2025 | Language ModelingLanguage Modelling | —Unverified | 0 |
| General Reference Frame Identification and Transformation in Unbalanced Power Systems | Jun 12, 2025 | valid | —Unverified | 0 |
