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

64 papers, page 1 of 2

1. CVPR 2024An N-Point Linear Solver for Line and Motion Estimation with Event Cameras
2. CVPR 2024Beyond Textual Constraints: Learning Novel Diffusion Conditions with Fewer Examples
3. CVPR 2024FLHetBench: Benchmarking Device and State Heterogeneity in Federated Learning
4. CVPR 2024Global and Local Prompts Cooperation via Optimal Transport for Federated Learning
5. CVPR 2024HOLD: Category-agnostic 3D Reconstruction of Interacting Hands and Objects from Video
6. CVPR 2024MS-MANO: Enabling Hand Pose Tracking with Biomechanical Constraints
7. CVPR 2024Objects as Volumes: A Stochastic Geometry View of Opaque Solids
8. CVPR 2024Predicated Diffusion: Predicate Logic-Based Attention Guidance for Text-to-Image Diffusion Models
9. CVPR 2024Spectral Meets Spatial: Harmonising 3D Shape Matching and Interpolation
10. CVPR 2024SpiderMatch: 3D Shape Matching with Global Optimality and Geometric Consistency
11. CVPR 2024Synergistic Global-space Camera and Human Reconstruction from Videos
12. ICLR 2024Logical Languages Accepted by Transformer Encoders with Hard Attention
13. ICLR 2024LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
14. ICLR 2024Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations
15. ICLR 2024On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks
16. ICLR 2024PINNACLE: PINN Adaptive ColLocation and Experimental points selection
17. ICLR 2024R-EDL: Relaxing Nonessential Settings of Evidential Deep Learning
18. ICML 2024A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design
19. ICML 2024A Field Guide for Pacing Budget and ROS Constraints
20. ICML 2024Antibody Design Using a Score-based Diffusion Model Guided by Evolutionary, Physical and Geometric Constraints
21. ICML 2024Chasing Convex Functions with Long-term Constraints
22. ICML 2024Delving into Differentially Private Transformer
23. ICML 2024Enforcing Constraints in RNA Secondary Structure Predictions: A Post-Processing Framework Based on the Assignment Problem
24. ICML 2024Exact Soft Analytical Side-Channel Attacks using Tractable Circuits
25. ICML 2024Fundamental Limits of Distributed Covariance Matrix Estimation Under Communication Constraints
26. ICML 2024GenCO: Generating Diverse Designs with Combinatorial Constraints
27. ICML 2024Graph Neural PDE Solvers with Conservation and Similarity-Equivariance
28. ICML 2024Improving Neural Logic Machines via Failure Reflection
29. ICML 2024Inexact Newton-type Methods for Optimisation with Nonnegativity Constraints
30. ICML 2024Latent Logic Tree Extraction for Event Sequence Explanation from LLMs
31. ICML 2024Learning Constraints from Offline Demonstrations via Superior Distribution Correction Estimation
32. ICML 2024Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
33. ICML 2024Minimally Modifying a Markov Game to Achieve Any Nash Equilibrium and Value
34. ICML 2024Monotone, Bi-Lipschitz, and Polyak-Łojasiewicz Networks
35. ICML 2024Online Learning in CMDPs: Handling Stochastic and Adversarial Constraints
36. ICML 2024Online Learning under Budget and ROI Constraints via Weak Adaptivity
37. ICML 2024Parameter-Dependent Competitive Analysis for Online Capacitated Coverage Maximization through Boostings and Attenuations
38. ICML 2024Refined Coreset Selection: Towards Minimal Coreset Size under Model Performance Constraints
39. ICML 2024Representation Surgery: Theory and Practice of Affine Steering
40. ICML 2024Symmetry Induces Structure and Constraint of Learning
41. ICML 2024TabLog: Test-Time Adaptation for Tabular Data Using Logic Rules
42. ICML 2024Temporal Logic Specification-Conditioned Decision Transformer for Offline Safe Reinforcement Learning
43. ICML 2024Trustworthy Actionable Perturbations
44. ICML 2024Two-sided Competing Matching Recommendation Markets With Quota and Complementary Preferences Constraints
45. ICML 2024Using Uncertainty Quantification to Characterize and Improve Out-of-Domain Learning for PDEs
46. NeurIPS 2024A Compositional Atlas for Algebraic Circuits
47. NeurIPS 2024Beyond Primal-Dual Methods in Bandits with Stochastic and Adversarial Constraints
48. NeurIPS 2024BOLD: Boolean Logic Deep Learning
49. NeurIPS 2024Convolutional Differentiable Logic Gate Networks
50. NeurIPS 2024Enriching Disentanglement: From Logical Definitions to Quantitative Metrics

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.