← Optimization & Theory
Machine Learning › Optimization & Theory ›

Theory

4950 directly classified papers

Papers per year

Papers

Proof Systems That Tightly Characterise Model Counting Algorithms AAAI 2026
Model Counting for Dependency Quantified Boolean Formulas AAAI 2026
Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance AAAI 2026
A Unified Approach to Interpreting Self-supervised Pre-training Methods for 3D Point Clouds via Interactions CVPR 2025
Local Scale Equivariance with Latent Deep Equilibrium Canonicalizer ICCV 2025
Test-time Augmentation Improves Efficiency in Conformal Prediction CVPR 2025
Deterministic Certification of Graph Neural Networks against Graph Poisoning Attacks with Arbitrary Perturbations CVPR 2025
Understanding Multi-layered Transmission Matrices CVPR 2025
Theoretical Insights in Model Inversion Robustness and Conditional Entropy Maximization for Collaborative Inference Systems CVPR 2025
MambaOut: Do We Really Need Mamba for Vision? CVPR 2025
Unraveling the Smoothness Properties of Diffusion Models: A Gaussian Mixture Perspective ICCV 2025
Fingerprinting LLMs through Survey Item Factor Correlation: A Case Study on Humor Style Questionnaire EMNLP 2025
When LRP Diverges from Leave-One-Out in Transformers EMNLP 2025
Rethinking NLP for Chemistry: A Critical Look at the USPTO Benchmark EMNLP 2025
ReliableEval: A Recipe for Stochastic LLM Evaluation via Method of Moments EMNLP 2025
Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025
Do Influence Functions Work on Large Language Models? EMNLP 2025
Hallucination Detection in Structured Query Generation via LLM Self-Debating EMNLP 2025
Benchmarking Critical Questions Generation: A Challenging Reasoning Task for Large Language Models EMNLP 2025
Randomized Smoothing Meets Vision-Language Models EMNLP 2025
Machine-generated text detection prevents language model collapse EMNLP 2025
ThinkSLM: Towards Reasoning in Small Language Models EMNLP 2025
Reliable Evaluation and Benchmarks for Statement Autoformalization EMNLP 2025
Exploring Response Uncertainty in MLLMs: An Empirical Evaluation under Misleading Scenarios EMNLP 2025
Metric Calculating Benchmark: Code-Verifiable Complicate Instruction Following Benchmark for Large Language Models EMNLP 2025