conftrace_
← Optimization & Theory
Machine Learning › Optimization & Theory ›

Theory

4,955 papers

Papers per year

1
4
37
72
447
426
'00
'05
'10
'15
'20
'25

Papers

Truth Table Net: Scalable, Compact & Verifiable Neural Networks with a Dual Convolutional Small Boolean Circuit Networks Form IJCAI 2024
Formal Verification of Parameterised Neural-symbolic Multi-agent Systems IJCAI 2024
Updates on the Complexity of SHAP Scores IJCAI 2024
A Top-Down Tree Model Counter for Quantified Boolean Formulas IJCAI 2024
Optimal Extended Formulations from Optimal Dynamic Programming Algorithms IJCAI 2024
Aggregation of Continuous Preferences in One Dimension IJCAI 2024
Vulnerabilities of Single-Round Incentive Compatibility in Auto-bidding: Theory and Evidence from ROI-Constrained Online Advertising Markets IJCAI 2024
Optimal Auction Design with User Coupons in Advertising Systems IJCAI 2024
What Is Best for Students, Numerical Scores or Letter Grades? IJCAI 2024
Computational Complexity of Verifying the Group No-show Paradox IJCAI 2024
How Hard Is It to Impact the Impact of Your Paper? IJCAI 2024
Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting IJCAI 2024
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks IJCAI 2024
Structured d-DNNF Is Not Closed under Negation IJCAI 2024
On the Computation of Example-Based Abductive Explanations for Random Forests IJCAI 2024
Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories IJCAI 2024
Interpretable Network Visualizations: A Human-in-the-Loop Approach for Post-hoc Explainability of CNN-based Image Classification IJCAI 2024
Towards Exact Computation of Inductive Bias IJCAI 2024
Efficiency Calibration of Implicit Regularization in Deep Networks via Self-paced Curriculum-Driven Singular Value Selection IJCAI 2024
What Makes Models Compositional? A Theoretical View IJCAI 2024
Fine-grained Analysis of Stability and Generalization for Stochastic Bilevel Optimization IJCAI 2024
Towards Sharper Risk Bounds for Minimax Problems IJCAI 2024
Enhancing Fine-Grained Urban Flow Inference via Incremental Neural Operator IJCAI 2024
Physics-Informed Neural Networks: Minimizing Residual Loss with Wide Networks and Effective Activations IJCAI 2024
Vision-based Discovery of Nonlinear Dynamics for 3D Moving Target IJCAI 2024