Skip to content
conftrace_

Theory

5,579 papers

1
4
39
80
486
612
2000
'5
'10
'15
'20
'25

Papers

Learning DFAs from Positive Examples Only via Word Counting AAAI 2026 Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding AAAI 2026 Learning Neural Operators from Partial Observations via Latent Autoregressive Modeling AAAI 2026 Locally Explaining Prediction Behavior via Gradual Interventions and Measuring Property Gradients WACV 2026 Lost in Benchmarks? Rethinking Large Language Model Benchmarking with Item Response Theory AAAI 2026 MDBench: Benchmarking Data-Driven Methods for Model Discovery AAAI 2026 MDK12-Bench: A Multi-Discipline Benchmark for Evaluating Reasoning in Multimodal Large Language Models AAAI 2026 Memorization and Expressivity in Transformers: A Learning-Theoretic Perspective AAAI 2026 MetaEval: Measuring the Discrimination of Benchmarks for Efficient LLM Evaluation AAAI 2026 Minimum-Length Conformal Prediction Sets for Ordinal Classification AAAI 2026 Model Counting for Dependency Quantified Boolean Formulas AAAI 2026 Neural Tangent Kernels Under Stochastic Data Augmentation AAAI 2026 No-Regret Strategy Solving in Imperfect-Information Games via Pre-Trained Embedding AAAI 2026 No Scale Sensitive Dimension for Distribution Learning ALT 2026 OmniBench: A Comprehensive Benchmark Integrating Real-World, Time-sensitive, and Multi-Hop Questions with a Multi-Dimensional Hybrid Evaluation Framework AAAI 2026 One Model, Many Behaviors: Training-Induced Effects on Out-of-Distribution Detection WACV 2026 On Robustness of Linear Classifiers to Targeted Data Poisoning AAAI 2026 On the Computational Tractability of Probabilistic Global and Local Sufficient Explanation AAAI 2026 On the Evaluation of Capability Estimation Methods for Large Language Models AAAI 2026 On the Probabilistic Learnability of Compact Neural Network Preimage Bounds AAAI 2026 Ordinal Secretaries with Advice AAAI 2026 Parameter-free Optimal Rates for Nonlinear Semi-Norm Contractions with Applications to Q-Learning AAAI 2026 PEGNet: A Physics-Embedded Graph Network for Long-Term Stable Multiphysics Simulation AAAI 2026 Performance of Conformal Prediction in Capturing Aleatoric Uncertainty WACV 2026 Physics-Informed Deformable Gaussian Splatting: Towards Unified Constitutive Laws for Time-Evolving Material Field AAAI 2026