← Optimization & Theory
Machine Learning › Optimization & Theory ›

Theory

4950 directly classified papers

Papers per year

Papers

CaFlow: Enhancing Long-Term Action Quality Assessment with Causal Counterfactual Flow WACV 2026
ExAnte: A Benchmark for Ex-Ante Inference in Large Language Models EACL 2026
TRACE: A Framework for Analyzing and Enhancing Stepwise Reasoning in Vision-Language Models EACL 2026
Speculative Decoding Speed-of-Light: Optimal Lower Bounds via Branching Random Walks EACL 2026
Balanced Accuracy: The Right Metric for Evaluating LLM Judges - Explained through Youden’s J statistic EACL 2026
Evaluating Text-to-Image and Text-to-Video Synthesis with a Conditional Frechet Distance WACV 2026
DoTA: Latent Distribution Conditioned Data Attribution for Diffusion Models WACV 2026
Detecting Overflow in Compressed Token Representations for Retrieval-Augmented Generation EACL 2026
SymPyBench: A Dynamic Benchmark for Scientific Reasoning with Executable Python Code EACL 2026
BOP-Distrib: Revisiting 6D Pose Estimation Benchmarks for Better Evaluation under Visual Ambiguities WACV 2026
FLUKE: A Linguistically-Driven and Task-Agnostic Framework for Robustness Evaluation EACL 2026
Locally Explaining Prediction Behavior via Gradual Interventions and Measuring Property Gradients WACV 2026
One Model, Many Behaviors: Training-Induced Effects on Out-of-Distribution Detection WACV 2026
Quantifying the Limits of Segmentation Foundation Models: Modeling Challenges in Segmenting Tree-Like and Low-Contrast Objects WACV 2026
FAIR-SIGHT: Fairness Assurance in Image Recognition via Simultaneous Conformal Thresholding and Dynamic Output Repair WACV 2026
A Regex Minimization Benchmark: A PSPACE-Complete Challenge for Language Models EACL 2026
Performance of Conformal Prediction in Capturing Aleatoric Uncertainty WACV 2026
Tracking the Limits of Knowledge Propagation: How LLMs Fail at Multi-Step Reasoning with Conflicting Knowledge EACL 2026
Memorization and Expressivity in Transformers: A Learning-Theoretic Perspective AAAI 2026
Formal Verification of Neural ODE for Safety Evaluation in Autonomous Vehicles AAAI 2026
On the Computational Tractability of Probabilistic Global and Local Sufficient Explanation AAAI 2026
Super Level Sets and Exponential Decay: A Synergistic Approach to Stable Neural Network Training (Abstract Reprint) AAAI 2026
The Search for Stability: Learning Dynamics of Strategic Publishers with Initial Documents (Abstract Reprint) AAAI 2026
Causal Explanations for Sequential Decision Making (Abstract Reprint) AAAI 2026
Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint) AAAI 2026