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

162 papers, page 2 of 4

51. ICML 2023Online Nonstochastic Control with Adversarial and Static Constraints
52. ICML 2023Parallel Neurosymbolic Integration with Concordia
53. ICML 2023Path Neural Networks: Expressive and Accurate Graph Neural Networks
54. ICML 2023Rethink DARTS Search Space and Renovate a New Benchmark
55. ICML 2023RSC: Accelerate Graph Neural Networks Training via Randomized Sparse Computations
56. ICML 2023Scalable Set Encoding with Universal Mini-Batch Consistency and Unbiased Full Set Gradient Approximation
57. ICML 2023Spatial Implicit Neural Representations for Global-Scale Species Mapping
58. ICML 2023The Hessian perspective into the Nature of Convolutional Neural Networks
59. ICML 2023The Monge Gap: A Regularizer to Learn All Transport Maps
60. ICML 2023Tighter Bounds on the Expressivity of Transformer Encoders
61. ICML 2023Under-Counted Tensor Completion with Neural Incorporation of Attributes
62. ICML 2023UPSCALE: Unconstrained Channel Pruning
63. ICML 2023Weak Proxies are Sufficient and Preferable for Fairness with Missing Sensitive Attributes
64. NeurIPS 2023A Comprehensive Benchmark for Neural Human Radiance Fields
65. NeurIPS 2023A Dual-Stream Neural Network Explains the Functional Segregation of Dorsal and Ventral Visual Pathways in Human Brains
66. NeurIPS 2023A graphon-signal analysis of graph neural networks
67. NeurIPS 2023A Logic for Expressing Log-Precision Transformers
68. NeurIPS 2023A Recurrent Neural Circuit Mechanism of Temporal-scaling Equivariant Representation
69. NeurIPS 2023A Spectral Theory of Neural Prediction and Alignment
70. NeurIPS 2023Addressing the speed-accuracy simulation trade-off for adaptive spiking neurons
71. NeurIPS 2023Aligning Gradient and Hessian for Neural Signed Distance Function
72. NeurIPS 2023Amortized Reparametrization: Efficient and Scalable Variational Inference for Latent SDEs
73. NeurIPS 2023Automatic Integration for Spatiotemporal Neural Point Processes
74. NeurIPS 2023Beyond Geometry: Comparing the Temporal Structure of Computation in Neural Circuits with Dynamical Similarity Analysis
75. NeurIPS 2023Bifurcations and loss jumps in RNN training
76. NeurIPS 2023Binarized Neural Machine Translation
77. NeurIPS 2023Binary Radiance Fields
78. NeurIPS 2023Blocked Collaborative Bandits: Online Collaborative Filtering with Per-Item Budget Constraints
79. NeurIPS 2023Brant: Foundation Model for Intracranial Neural Signal
80. NeurIPS 2023Conditional Distribution Function Estimation Using Neural Networks for Censored and Uncensored Data
81. NeurIPS 2023Construction of Hierarchical Neural Architecture Search Spaces based on Context-free Grammars
82. NeurIPS 2023Contextual Gaussian Process Bandits with Neural Networks
83. NeurIPS 2023Continuous Parametric Optical Flow
84. NeurIPS 2023Convergence of mean-field Langevin dynamics: time-space discretization, stochastic gradient, and variance reduction
85. NeurIPS 2023CP-SLAM: Collaborative Neural Point-based SLAM System
86. NeurIPS 2023CSOT: Curriculum and Structure-Aware Optimal Transport for Learning with Noisy Labels
87. NeurIPS 2023Demystifying Oversmoothing in Attention-Based Graph Neural Networks
88. NeurIPS 2023Discovering Intrinsic Spatial-Temporal Logic Rules to Explain Human Actions
89. NeurIPS 2023Distance-Restricted Folklore Weisfeiler-Leman GNNs with Provable Cycle Counting Power
90. NeurIPS 2023DiViNeT: 3D Reconstruction from Disparate Views using Neural Template Regularization
91. NeurIPS 2023Efficient Uncertainty Quantification and Reduction for Over-Parameterized Neural Networks
92. NeurIPS 2023Evolutionary Neural Architecture Search for Transformer in Knowledge Tracing
93. NeurIPS 2023Facilitating Graph Neural Networks with Random Walk on Simplicial Complexes
94. NeurIPS 2023From Tempered to Benign Overfitting in ReLU Neural Networks
95. NeurIPS 2023Functional Equivalence and Path Connectivity of Reducible Hyperbolic Tangent Networks
96. NeurIPS 2023GADBench: Revisiting and Benchmarking Supervised Graph Anomaly Detection
97. NeurIPS 2023Generalised f-Mean Aggregation for Graph Neural Networks
98. NeurIPS 2023Generalizable One-shot 3D Neural Head Avatar
99. NeurIPS 2023GenS: Generalizable Neural Surface Reconstruction from Multi-View Images
100. NeurIPS 2023GNeSF: Generalizable Neural Semantic Fields

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.