Logic and Neural papers, 2023–2026
Logic constraints
Scope: NeurIPS, ICLR, ICML and CVPR, 2023–2026. 366 papers are tagged with this topic.
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.
Papers per venue
Counts by year and venue
| Year | NeurIPS | ICLR | ICML | CVPR | Total |
|---|---|---|---|---|---|
| 2023 | 99 | 9 | 47 | 7 | 162 |
| 2024 | 19 | 6 | 28 | 11 | 64 |
| 2025 | 23 | 11 | 12 | 8 | 54 |
| 2026 | 32 | 20 | 25 | 9 | 86 |
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 1 of 8
- CVPR 2026Federated Active Learning Under Extreme Non-IID and Global Class Imbalance
- CVPR 2026FUSER Feed-Forward Multiview 3D Registration Transformer and SE3N Diffusion Refinement
- CVPR 2026High-Quality and Efficient Turbulence Mitigation with Events
- CVPR 2026Lifelong Imitation Learning with Multimodal Latent Replay and Incremental Adjustment
- CVPR 2026Med-CMR A Fine-Grained Benchmark Integrating Visual Evidence and Clinical Logic
- CVPR 2026NeuroRule Bridging Vision and Logic with Differentiable Rule Induction
- CVPR 2026Plug-and-Play Incomplete Multi-View Clustering via Janus-Faced Affinity Learning with Topology
- CVPR 2026RealAppiance Let High-fidelity Appliance Assets Controllable and Workable as Aligned
- CVPR 2026Understanding Temporal Logic Consistency in Video-Language Models through Cross-Modal Attention
- ICLR 2026A Balanced Neuro-Symbolic Approach for Commonsense Abductive Logic
- ICLR 2026Automating the Refinement of Reinforcement Learning Specifications
- ICLR 2026Bandits with Single-Peaked Preferences and Limited Resources
- ICLR 2026Compose and Fuse: Revisiting the Foundational Bottlenecks in Multimodal Reasoning
- ICLR 2026Convergence Analysis of Tsetlin Machines under Noise-Free and Noisy Training Conditions: from $2$ Bits to $k$ Bits
- ICLR 2026Coupling Experts and Routers in Mixture-of-Experts via an Auxiliary Loss
- ICLR 2026From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
- ICLR 2026Geometric Constraints for Small Language Models to Understand and Expand Scientific Taxonomies
- ICLR 2026HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Games
- ICLR 2026Hot Fuzz: Temperature-Tunable Composition of Diffusion models with Fuzzy Logic
- ICLR 2026Learning the Inverse Temperature of Ising Models under Hard Constraints using One Sample
- ICLR 2026Light Differentiable Logic Gate Networks
- ICLR 2026Near-Optimal Online Deployment and Routing for Streaming LLMs
- ICLR 2026On the Expressiveness of State Space Models via Temporal Logics
- ICLR 2026PMark: Towards Robust and Distortion-free Semantic-level Watermarking with Channel Constraints
- ICLR 2026Probability Distributions Computed by Autoregressive Transformers
- ICLR 2026Sharing State Between Prompts and Programs
- ICLR 2026The Logical Expressiveness of Topological Neural Networks
- ICLR 2026Towards Safe and Optimal Online Bidding: A Modular Look-ahead Lyapunov Framework
- ICLR 2026Transformers are Inherently Succinct
- ICML 2026A proximal ADMM for multiblock problems with block anti-upper triangular constraints
- ICML 2026A Theory of Data Acquisition and Pricing at Scale
- ICML 2026Abductive Reasoning with Probabilistic Commonsense
- ICML 2026Align Forward, Adapt Backward: Closing the Discretization Gap in Logic Gate Networks
- ICML 2026CAffNet: Hard Constraint-Affine Neural Networks
- ICML 2026Capacitated Fair-Range Clustering: Hardness and Approximation Algorithms
- ICML 2026DF-LoGiT: Data-Free Logic-Gated Backdoor Attacks in Vision Transformers
- ICML 2026Geometric Coherence Learning for Structuring Value Functions in Plain MDPs
- ICML 2026HE-SNR: Uncovering Latent Logic via Entropy for Guiding Mid-Training on SWE-bench
- ICML 2026KANFIS: A Neuro-Symbolic Framework for Interpretable and Uncertainty-Aware Learning
- ICML 2026Learning Manifold and Itô Dynamics with Branched Neural Rough Differential Equations
- ICML 2026Learning the Best Under Constraints: A Duality-Based Framework
- ICML 2026Length Generalization Bounds for Transformers
- ICML 2026Lifting Traces to Logic: Programmatic Skill Induction with Neuro-Symbolic Learning for Long-Horizon Agentic Tasks
- ICML 2026Logical Guidance for the Exact Composition of Diffusion Models
- ICML 2026Message Passing on the Edge: Towards Scalable and Expressive GNNs
- ICML 2026Nash Equilibria in Games with Playerwise Concave Coupling Constraints: Existence and Computation
- ICML 2026Plug-and-Play Spiking Operators: Breaking the Nonlinearity Bottleneck in Spiking Transformers
- ICML 2026Reward Under Attack: Analyzing the Robustness and Hackability of Process Reward Models
- ICML 2026The Geometry of Projection Heads: Conditioning, Invariance, and Collapse
- ICML 2026The Pareto-optimal Trade-off between Regret and Statistical Inference in Linear Stochastic Bandits under Safety Constraints
Ask about this trend from Claude or Cursor
Connect the Paperlist MCP and your assistant can pull the numbers on this page while you draft a survey, pick a direction or plan a submission: papers per year and venue, growth, the fastest-rising sub-themes and representative papers, shaped around your question.
Copy this prompt into your assistant
Use paperlist to show how Logic and Neural papers grew at NeurIPS from 2023 to 2026, and which year jumped the most.
Tool the assistant calls: get_topic_stats {"topic": "logic-and-neural"}
Set up Paperlist MCP in two minutes (Claude Code, Cursor, Codex, ChatGPT)
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.