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

112 papers, page 1 of 3

1. ICML 2026A proximal ADMM for multiblock problems with block anti-upper triangular constraints
2. ICML 2026A Theory of Data Acquisition and Pricing at Scale
3. ICML 2026Abductive Reasoning with Probabilistic Commonsense
4. ICML 2026Align Forward, Adapt Backward: Closing the Discretization Gap in Logic Gate Networks
5. ICML 2026CAffNet: Hard Constraint-Affine Neural Networks
6. ICML 2026Capacitated Fair-Range Clustering: Hardness and Approximation Algorithms
7. ICML 2026DF-LoGiT: Data-Free Logic-Gated Backdoor Attacks in Vision Transformers
8. ICML 2026Geometric Coherence Learning for Structuring Value Functions in Plain MDPs
9. ICML 2026HE-SNR: Uncovering Latent Logic via Entropy for Guiding Mid-Training on SWE-bench
10. ICML 2026KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
11. ICML 2026Learning Manifold and Itô Dynamics with Branched Neural Rough Differential Equations
12. ICML 2026Learning the Best Under Constraints: A Duality-Based Framework
13. ICML 2026Length Generalization Bounds for Transformers
14. ICML 2026Lifting Traces to Logic: Programmatic Skill Induction with Neuro-Symbolic Learning for Long-Horizon Agentic Tasks
15. ICML 2026Logical Guidance for the Exact Composition of Diffusion Models
16. ICML 2026Message Passing on the Edge: Towards Scalable and Expressive GNNs
17. ICML 2026Nash Equilibria in Games with Playerwise Concave Coupling Constraints: Existence and Computation
18. ICML 2026Plug-and-Play Spiking Operators: Breaking the Nonlinearity Bottleneck in Spiking Transformers
19. ICML 2026Reward Under Attack: Analyzing the Robustness and Hackability of Process Reward Models
20. ICML 2026The Geometry of Projection Heads: Conditioning, Invariance, and Collapse
21. ICML 2026The Pareto-optimal Trade-off between Regret and Statistical Inference in Linear Stochastic Bandits under Safety Constraints
22. ICML 2026The Theory and Practice of MAP Inference over Non-Convex Constraints
23. ICML 2026Towards Achieving Optimal Strong Regret and Constraint Violation via Computationally Efficient Model-free RL
24. ICML 2026Two-Stage Unit Tying for Simplifying Differentiable Logic Gate Networks
25. ICML 2026Unlearning in Diffusion Models: A Unified Framework with KL Divergence and Likelihood Constraints
26. ICML 2025Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
27. ICML 2025Counterfactual Graphical Models: Constraints and Inference
28. ICML 2025Evolving Minds: Logic-Informed Inference from Temporal Action Patterns
29. ICML 2025Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
30. ICML 2025Improving Out-of-Distribution Detection with Markov Logic Networks
31. ICML 2025Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
32. ICML 2025Learning Parametric Distributions from Samples and Preferences
33. ICML 2025Multinoulli Extension: A Lossless Yet Effective Probabilistic Framework for Subset Selection over Partition Constraints
34. ICML 2025Online Learning with Unknown Constraints
35. ICML 2025Regret-Free Reinforcement Learning for Temporal Logic Specifications
36. ICML 2025RWKVQuant: Quantizing the RWKV Family with Proxy Guided Hybrid of Scalar and Vector Quantization
37. ICML 2025Understanding the Logic of Direct Preference Alignment through Logic
38. ICML 2024A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design
39. ICML 2024A Field Guide for Pacing Budget and ROS Constraints
40. ICML 2024Antibody Design Using a Score-based Diffusion Model Guided by Evolutionary, Physical and Geometric Constraints
41. ICML 2024Chasing Convex Functions with Long-term Constraints
42. ICML 2024Delving into Differentially Private Transformer
43. ICML 2024Enforcing Constraints in RNA Secondary Structure Predictions: A Post-Processing Framework Based on the Assignment Problem
44. ICML 2024Exact Soft Analytical Side-Channel Attacks using Tractable Circuits
45. ICML 2024Fundamental Limits of Distributed Covariance Matrix Estimation Under Communication Constraints
46. ICML 2024GenCO: Generating Diverse Designs with Combinatorial Constraints
47. ICML 2024Graph Neural PDE Solvers with Conservation and Similarity-Equivariance
48. ICML 2024Improving Neural Logic Machines via Failure Reflection
49. ICML 2024Inexact Newton-type Methods for Optimisation with Nonnegativity Constraints
50. ICML 2024Latent Logic Tree Extraction for Event Sequence Explanation from LLMs

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.