Logic and Neural papers, 2023–2026

Key findings

• Logic and Neural fell from 162 papers in 2023 to 86 in 2026, so interest is cooling.
• NeurIPS publishes the most Logic and Neural work: 173 papers from 2023 to 2026, 47% of the four-venue total.
• The fastest-growing overlap is with Social aspects · accountability transparency and interpretability: papers tagged with both rose from 1 in 2023 to 8 in 2026.
• Among the 5 topics under Neurosymbolic AI, it ranks #2 by 2026 paper count; the fastest grower in the group, Mathematical Reasoning, is up 10x versus 0.5x here.

Representative papers

Spread across years and venues so every edition shows up

• NeurIPS 2026B$^3$-PWL: GPU-Batched Branch-and-Bound for Piecewise-Linear Optimization with SOS2 Constraints
• ICML 2026Length Generalization Bounds for Transformers
• ICLR 2026From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
• CVPR 2026Med-CMR A Fine-Grained Benchmark Integrating Visual Evidence and Clinical Logic
• NeurIPS 2025Characterizing the Expressivity of Fixed-Precision Transformer Language Models
• ICML 2025Counterfactual Graphical Models: Constraints and Inference
• ICLR 2025Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints
• CVPR 2025Learning Affine Correspondences by Integrating Geometric Constraints
• NeurIPS 2024Beyond Primal-Dual Methods in Bandits with Stochastic and Adversarial Constraints
• ICML 2024A Field Guide for Pacing Budget and ROS Constraints
• ICLR 2024LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
• CVPR 2024MS-MANO: Enabling Hand Pose Tracking with Biomechanical Constraints
• NeurIPS 2023Aligning Gradient and Hessian for Neural Signed Distance Function
• ICML 2023Eventual Discounting Temporal Logic Counterfactual Experience Replay
• ICLR 2023Global Explainability of GNNs via Logic Combination of Learned Concepts
• CVPR 2023Handy: Towards a High Fidelity 3D Hand Shape and Appearance Model
• NeurIPS 2026Batched Stochastic Linear Bandits with 1-Bit Communication Constraints
• ICML 2026KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
• ICLR 2026The Logical Expressiveness of Topological Neural Networks
• CVPR 2026NeuroRule Bridging Vision and Logic with Differentiable Rule Induction

All Logic and Neural papers

173 papers, page 3 of 4

101. NeurIPS 2023DiViNeT: 3D Reconstruction from Disparate Views using Neural Template Regularization
102. NeurIPS 2023Efficient Uncertainty Quantification and Reduction for Over-Parameterized Neural Networks
103. NeurIPS 2023Evolutionary Neural Architecture Search for Transformer in Knowledge Tracing
104. NeurIPS 2023Facilitating Graph Neural Networks with Random Walk on Simplicial Complexes
105. NeurIPS 2023From Tempered to Benign Overfitting in ReLU Neural Networks
106. NeurIPS 2023Functional Equivalence and Path Connectivity of Reducible Hyperbolic Tangent Networks
107. NeurIPS 2023GADBench: Revisiting and Benchmarking Supervised Graph Anomaly Detection
108. NeurIPS 2023Generalised f-Mean Aggregation for Graph Neural Networks
109. NeurIPS 2023Generalizable One-shot 3D Neural Head Avatar
110. NeurIPS 2023GenS: Generalizable Neural Surface Reconstruction from Multi-View Images
111. NeurIPS 2023GNeSF: Generalizable Neural Semantic Fields
112. NeurIPS 2023Hierarchically Gated Recurrent Neural Network for Sequence Modeling
113. NeurIPS 2023How do Minimum-Norm Shallow Denoisers Look in Function Space?
114. NeurIPS 2023Individualized Dosing Dynamics via Neural Eigen Decomposition
115. NeurIPS 2023Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction
116. NeurIPS 2023Investigating how ReLU-networks encode symmetries
117. NeurIPS 2023LagrangeBench: A Lagrangian Fluid Mechanics Benchmarking Suite
118. NeurIPS 2023LightSpeed: Light and Fast Neural Light Fields on Mobile Devices
119. NeurIPS 2023MeCo: Zero-Shot NAS with One Data and Single Forward Pass via Minimum Eigenvalue of Correlation
120. NeurIPS 2023MeGraph: Capturing Long-Range Interactions by Alternating Local and Hierarchical Aggregation on Multi-Scaled Graph Hierarchy
121. NeurIPS 2023Minimum norm interpolation by perceptra: Explicit regularization and implicit bias
122. NeurIPS 2023Mip-Grid: Anti-aliased Grid Representations for Neural Radiance Fields
123. NeurIPS 2023Modulated Neural ODEs
124. NeurIPS 2023NAVI: Category-Agnostic Image Collections with High-Quality 3D Shape and Pose Annotations
125. NeurIPS 2023Nearly Optimal VC-Dimension and Pseudo-Dimension Bounds for Deep Neural Network Derivatives
126. NeurIPS 2023Neural approximation of Wasserstein distance via a universal architecture for symmetric and factorwise group invariant functions
127. NeurIPS 2023Neural Circuits for Fast Poisson Compressed Sensing in the Olfactory Bulb
128. NeurIPS 2023Neural Frailty Machine: Beyond proportional hazard assumption in neural survival regressions
129. NeurIPS 2023Neural Functional Transformers
130. NeurIPS 2023Neural Image Compression: Generalization, Robustness, and Spectral Biases
131. NeurIPS 2023Neural Lyapunov Control for Discrete-Time Systems
132. NeurIPS 2023Neural Oscillators are Universal
133. NeurIPS 2023Neural Polarizer: A Lightweight and Effective Backdoor Defense via Purifying Poisoned Features
134. NeurIPS 2023Neural Processes with Stability
135. NeurIPS 2023Neural Relation Graph: A Unified Framework for Identifying Label Noise and Outlier Data
136. NeurIPS 2023Neural Sculpting: Uncovering hierarchically modular task structure in neural networks through pruning and network analysis
137. NeurIPS 2023Neural-Logic Human-Object Interaction Detection
138. NeurIPS 2023NeuroGF: A Neural Representation for Fast Geodesic Distance and Path Queries
139. NeurIPS 2023Norm-based Generalization Bounds for Sparse Neural Networks
140. NeurIPS 2023NU-MCC: Multiview Compressive Coding with Neighborhood Decoder and Repulsive UDF
141. NeurIPS 2023On the explainable properties of 1-Lipschitz Neural Networks: An Optimal Transport Perspective
142. NeurIPS 2023Optimization and Bayes: A Trade-off for Overparameterized Neural Networks
143. NeurIPS 2023Permutation Equivariant Neural Functionals
144. NeurIPS 2023Polynomially Over-Parameterized Convolutional Neural Networks Contain Structured Strong Winning Lottery Tickets
145. NeurIPS 2023Provably Bounding Neural Network Preimages
146. NeurIPS 2023Quantus: An Explainable AI Toolkit for Responsible Evaluation of Neural Network Explanations and Beyond
147. NeurIPS 2023ReDS: Offline RL With Heteroskedastic Datasets via Support Constraints
148. NeurIPS 2023ReHLine: Regularized Composite ReLU-ReHU Loss Minimization with Linear Computation and Linear Convergence
149. NeurIPS 2023ReTR: Modeling Rendering Via Transformer for Generalizable Neural Surface Reconstruction
150. NeurIPS 2023Riemannian Laplace approximations for Bayesian neural networks

FAQ

How many Logic and Neural papers were published at NeurIPS, ICLR, ICML and CVPR from 2023 to 2026?

366 in total: 162 in 2023, 64 in 2024, 54 in 2025, 86 in 2026.

How many Logic and Neural papers are at NeurIPS 2026?

NeurIPS 2026 has 32 Logic and Neural papers, versus 23 the year before.

How many Logic and Neural papers are at ICLR 2026?

ICLR 2026 has 20 Logic and Neural papers, versus 11 the year before.

How many Logic and Neural papers are at ICML 2026?

ICML 2026 has 25 Logic and Neural papers, versus 12 the year before.

How many Logic and Neural papers are at CVPR 2026?

CVPR 2026 has 9 Logic and Neural papers, versus 8 the year before.

Which conference publishes the most Logic and Neural papers?

NeurIPS, with 173 papers from 2023 to 2026.