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

366 papers, page 5 of 8

201. NeurIPS 2024Rethinking Deep Thinking: Stable Learning of Algorithms using Lipschitz Constraints
202. NeurIPS 2024Reward Machines for Deep RL in Noisy and Uncertain Environments
203. NeurIPS 2024STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)
204. NeurIPS 2024TrajCLIP: Pedestrian trajectory prediction method using contrastive learning and idempotent networks
205. CVPR 2023CaPriDe Learning: Confidential and Private Decentralized Learning Based on Encryption-Friendly Distillation Loss
206. CVPR 2023Handy: Towards a High Fidelity 3D Hand Shape and Appearance Model
207. CVPR 2023IMP: Iterative Matching and Pose Estimation With Adaptive Pooling
208. CVPR 2023Learning To Zoom and Unzoom
209. CVPR 2023Object Pose Estimation With Statistical Guarantees: Conformal Keypoint Detection and Geometric Uncertainty Propagation
210. CVPR 2023ShapeClipper: Scalable 3D Shape Learning From Single-View Images via Geometric and CLIP-Based Consistency
211. CVPR 2023Understanding and Improving Features Learned in Deep Functional Maps
212. ICLR 2023FaiREE: fair classification with finite-sample and distribution-free guarantee
213. ICLR 2023Global Explainability of GNNs via Logic Combination of Learned Concepts
214. ICLR 2023Learning Soft Constraints From Constrained Expert Demonstrations
215. ICLR 2023Learning where and when to reason in neuro-symbolic inference
216. ICLR 2023Learning with Logical Constraints but without Shortcut Satisfaction
217. ICLR 2023LogicDP: Creating Labels for Graph Data via Inductive Logic Programming
218. ICLR 2023Timing is Everything: Learning to Act Selectively with Costly Actions and Budgetary Constraints
219. ICLR 2023Weakly Supervised Explainable Phrasal Reasoning with Neural Fuzzy Logic
220. ICLR 2023Weighted Clock Logic Point Process
221. ICML 2023A Fast, Well-Founded Approximation to the Empirical Neural Tangent Kernel
222. ICML 2023Achieving Hierarchy-Free Approximation for Bilevel Programs with Equilibrium Constraints
223. ICML 2023Alternately Optimized Graph Neural Networks
224. ICML 2023Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels
225. ICML 2023BiBench: Benchmarking and Analyzing Network Binarization
226. ICML 2023Certified Robust Neural Networks: Generalization and Corruption Resistance
227. ICML 2023Controllable Neural Symbolic Regression
228. ICML 2023Distributed Linear Bandits under Communication Constraints
229. ICML 2023Does a Neural Network Really Encode Symbolic Concepts?
230. ICML 2023Effective Neural Topic Modeling with Embedding Clustering Regularization
231. ICML 2023Efficiently predicting high resolution mass spectra with graph neural networks
232. ICML 2023Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments
233. ICML 2023Eventual Discounting Temporal Logic Counterfactual Experience Replay
234. ICML 2023Existence, Stability and Scalability of Orthogonal Convolutional Neural Networks
235. ICML 2023Generalization on the Unseen, Logic Reasoning and Degree Curriculum
236. ICML 2023Generalizing Neural Wave Functions
237. ICML 2023Hierarchical Neural Coding for Controllable CAD Model Generation
238. ICML 2023Implicit Neural Spatial Representations for Time-dependent PDEs
239. ICML 2023Improving Graph Neural Networks with Learnable Propagation Operators
240. ICML 2023Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic
241. ICML 2023Leveraging Label Non-Uniformity for Node Classification in Graph Neural Networks
242. ICML 2023Linear Time GPs for Inferring Latent Trajectories from Neural Spike Trains
243. ICML 2023Low Complexity Homeomorphic Projection to Ensure Neural-Network Solution Feasibility for Optimization over (Non-)Convex Set
244. ICML 2023Minimalistic Predictions to Schedule Jobs with Online Precedence Constraints
245. ICML 2023Minimum Width of Leaky-ReLU Neural Networks for Uniform Universal Approximation
246. ICML 2023Multi-channel Autobidding with Budget and ROI Constraints
247. ICML 2023Nearly Optimal Competitive Ratio for Online Allocation Problems with Two-sided Resource Constraints and Finite Requests
248. ICML 2023Neural signature kernels as infinite-width-depth-limits of controlled ResNets
249. ICML 2023NeuralSlice: Neural 3D Triangle Mesh Reconstruction via Slicing 4D Tetrahedral Meshes
250. ICML 2023Node Embedding from Neural Hamiltonian Orbits in Graph 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.