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

19 papers, page 1 of 1

1. NeurIPS 2024A Compositional Atlas for Algebraic Circuits
2. NeurIPS 2024Beyond Primal-Dual Methods in Bandits with Stochastic and Adversarial Constraints
3. NeurIPS 2024BOLD: Boolean Logic Deep Learning
4. NeurIPS 2024Convolutional Differentiable Logic Gate Networks
5. NeurIPS 2024Enriching Disentanglement: From Logical Definitions to Quantitative Metrics
6. NeurIPS 2024From Unstructured Data to In-Context Learning: Exploring What Tasks Can Be Learned and When
7. NeurIPS 2024HyperLogic: Enhancing Diversity and Accuracy in Rule Learning with HyperNets
8. NeurIPS 2024Learning Better Representations From Less Data For Propositional Satisfiability
9. NeurIPS 2024Learning to Handle Complex Constraints for Vehicle Routing Problems
10. NeurIPS 2024Log-concave Sampling from a Convex Body with a Barrier: a Robust and Unified Dikin Walk
11. NeurIPS 2024Logical characterizations of recurrent graph neural networks with reals and floats
12. NeurIPS 2024Masked Hard-Attention Transformers Recognize Exactly the Star-Free Languages
13. NeurIPS 2024Provably Safe Neural Network Controllers via Differential Dynamic Logic
14. NeurIPS 2024Reinforcement Learning with LTL and $\omega$-Regular Objectives via Optimality-Preserving Translation to Average Rewards
15. NeurIPS 2024Relational Concept Bottleneck Models
16. NeurIPS 2024Rethinking Deep Thinking: Stable Learning of Algorithms using Lipschitz Constraints
17. NeurIPS 2024Reward Machines for Deep RL in Noisy and Uncertain Environments
18. NeurIPS 2024STL: Still Tricky Logic (for System Validation, Even When Showing Your Work)
19. NeurIPS 2024TrajCLIP: Pedestrian trajectory prediction method using contrastive learning and idempotent 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.