← Optimization & Theory
Machine Learning › Optimization & Theory ›

Theory

4950 directly classified papers

Papers per year

Papers

A Fortiori Case-Based Reasoning: From Theory to Data (Abstract Reprint) AAAI 2026
How Much Do Large Language Model Cheat on Evaluation? Benchmarking Overestimation Under the One-Time-Pad-Based Framework AAAI 2026
Scientifically-Interpretable Reasoning Network (ScIReN): Discovering Hidden Relationships in the Carbon Cycle and Beyond AAAI 2026
Towards Provably Unlearnable Examples via Bayes Error Optimization AAAI 2026
Two Constraint Compilation Methods for Lifted Planning AAAI 2026
Probabilistic Safety Verification of Neural Policies via Predicate Abstraction AAAI 2026
Conformal Prediction for Multi-Source Detection on a Network AAAI 2026
High-Order Error Bounds for Markovian LSA with Richardson–Romberg Extrapolation AAAI 2026
SMiLE: Provably Enforcing Global Relational Properties in Neural Networks AAAI 2026
Lost in Benchmarks? Rethinking Large Language Model Benchmarking with Item Response Theory AAAI 2026
TTA-Bench: A Comprehensive Benchmark for Evaluating Text-to-Audio Models AAAI 2026
MetaEval: Measuring the Discrimination of Benchmarks for Efficient LLM Evaluation AAAI 2026
FinMathBench: A Formula-Driven Benchmark for Evaluating LLMs’ Math Reasoning Capabilities in Finance AAAI 2026
On the Evaluation of Capability Estimation Methods for Large Language Models AAAI 2026
PEGNet: A Physics-Embedded Graph Network for Long-Term Stable Multiphysics Simulation AAAI 2026
A Flat Minima Perspective on Understanding Augmentations and Model Robustness AAAI 2026
Minimum-Length Conformal Prediction Sets for Ordinal Classification AAAI 2026
Koopman Invariants as Drivers of Emergent Time-Series Clustering in Joint-Embedding Predictive Architectures AAAI 2026
HyRNN: Hybrid Recurrent Neural Networks for Approximating Hybrid Dynamical Systems AAAI 2026
Adaptive Initial Residual Connections for GNNs with Theoretical Guarantees AAAI 2026
Blessing of Dimensionality for Approximating Sobolev Classes on Manifolds AAAI 2026
A Novel Approach to Evaluating Evaluation Metrics for Multi-Output Structured Prediction AAAI 2026
Fine-grained Uncertainty Decomposition in Large Language Models: A Spectral Approach AAAI 2026
Transformers in Pseudo-Random Number Generation: A Dual Perspective on Theory and Practice AAAI 2026
Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification AAAI 2026