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

54 papers, page 1 of 2

1. CVPR 2025Estimating Body and Hand Motion in an Ego-sensed World
2. CVPR 2025Learning Affine Correspondences by Integrating Geometric Constraints
3. CVPR 2025LOGICZSL: Exploring Logic-induced Representation for Compositional Zero-shot Learning
4. CVPR 2025MotionPRO: Exploring the Role of Pressure in Human MoCap and Beyond
5. CVPR 2025PLeaS - Merging Models with Permutations and Least Squares
6. CVPR 2025SCFlow2: Plug-and-Play Object Pose Refiner with Shape-Constraint Scene Flow
7. CVPR 2025Towards Cost-Effective Learning: A Synergy of Semi-Supervised and Active Learning
8. CVPR 2025UMotion: Uncertainty-driven Human Motion Estimation from Inertial and Ultra-wideband Units
9. ICLR 2025Beyond the convexity assumption: Realistic tabular data generation under quantifier-free real linear constraints
10. ICLR 2025Circuit Transformer: A Transformer That Preserves Logical Equivalence
11. ICLR 2025Enhance Multi-View Classification Through Multi-Scale Alignment and Expanded Boundary
12. ICLR 2025Faster Algorithms for Structured Linear and Kernel Support Vector Machines
13. ICLR 2025GeoILP: A Synthetic Dataset to Guide Large-Scale Rule Induction
14. ICLR 2025Interference Among First-Price Pacing Equilibria: A Bias and Variance Analysis
15. ICLR 2025Is uniform expressivity too restrictive? Towards efficient expressivity of GNNs
16. ICLR 2025Optimal Flow Transport and its Entropic Regularization: a GPU-friendly Matrix Iterative Algorithm for Flow Balance Satisfaction
17. ICLR 2025Point-based Instance Completion with Scene Constraints
18. ICLR 2025Towards a Complete Logical Framework for GNN Expressiveness
19. ICLR 2025Unsupervised Disentanglement of Content and Style via Variance-Invariance Constraints
20. ICML 2025Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
21. ICML 2025Counterfactual Graphical Models: Constraints and Inference
22. ICML 2025Evolving Minds: Logic-Informed Inference from Temporal Action Patterns
23. ICML 2025Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
24. ICML 2025Improving Out-of-Distribution Detection with Markov Logic Networks
25. ICML 2025Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
26. ICML 2025Learning Parametric Distributions from Samples and Preferences
27. ICML 2025Multinoulli Extension: A Lossless Yet Effective Probabilistic Framework for Subset Selection over Partition Constraints
28. ICML 2025Online Learning with Unknown Constraints
29. ICML 2025Regret-Free Reinforcement Learning for Temporal Logic Specifications
30. ICML 2025RWKVQuant: Quantizing the RWKV Family with Proxy Guided Hybrid of Scalar and Vector Quantization
31. ICML 2025Understanding the Logic of Direct Preference Alignment through Logic
32. NeurIPS 2025Automaton Constrained Q-Learning
33. NeurIPS 2025Characterizing the Expressivity of Fixed-Precision Transformer Language Models
34. NeurIPS 2025Codifying Character Logic in Role-Playing
35. NeurIPS 2025Constrained Best Arm Identification
36. NeurIPS 2025DualFocus: Depth from Focus with Spatio-Focal Dual Variational Constraints
37. NeurIPS 2025Efficient Allocation of Working Memory Resource for Utility Maximization in Humans and Recurrent Neural Networks
38. NeurIPS 2025Embeddings as Probabilistic Equivalence in Logic Programs
39. NeurIPS 2025Enforcing convex constraints in Graph Neural Networks
40. NeurIPS 2025ESCORT: Efficient Stein-variational and Sliced Consistency-Optimized Temporal Belief Representation for POMDPs
41. NeurIPS 2025Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
42. NeurIPS 2025Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism
43. NeurIPS 2025Imitation Learning with Temporal Logic Constraints
44. NeurIPS 2025Knee-Deep in C-RASP: A Transformer Depth Hierarchy
45. NeurIPS 2025LLM Query Scheduling with Prefix Reuse and Latency Constraints
46. NeurIPS 2025Logic.py: Bridging the Gap between LLMs and Constraint Solvers
47. NeurIPS 2025Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
48. NeurIPS 2025Mind the Gap: Removing the Discretization Gap in Differentiable Logic Gate Networks
49. NeurIPS 2025Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming
50. NeurIPS 2025NaViL: Rethinking Scaling Properties of Native Multimodal Large Language Models under Data Constraints

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.