{"total":72,"rows":[{"id":"2102.09544","title":"Combinatorial optimization and reasoning with graph neural networks","created":"2021-02-18","cited_by_count":268,"area":null},{"id":"2506.21734","title":"Hierarchical Reasoning Model","created":"2025-06-26","cited_by_count":177,"area":"lr"},{"id":"2307.07700","title":"NeurASP: Embracing Neural Networks into Answer Set Programming","created":"2023-07-15","cited_by_count":92,"area":null},{"id":"2305.10699","title":"Dirichlet Diffusion Score Model for Biological Sequence Generation","created":"2023-05-18","cited_by_count":75,"area":"diffusion"},{"id":"2204.08292","title":"StepGame: A New Benchmark for Robust Multi-Hop Spatial Reasoning in Texts","created":"2022-04-18","cited_by_count":68,"area":"lr"},{"id":"2307.07696","title":"Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text","created":"2023-07-15","cited_by_count":59,"area":"lr"},{"id":"2410.13821","title":"Artificial Kuramoto Oscillatory Neurons","created":"2024-10-17","cited_by_count":38,"area":null},{"id":"2201.12382","title":"Deep Learning Methods for Abstract Visual Reasoning: A Survey on Raven's Progressive Matrices","created":"2022-01-28","cited_by_count":37,"area":"lr"},{"id":"2406.11179","title":"Learning Iterative Reasoning through Energy Diffusion","created":"2024-06-17","cited_by_count":36,"area":null},{"id":"2202.05826","title":"End-to-end Algorithm Synthesis with Recurrent Networks: Logical Extrapolation Without Overthinking","created":"2022-02-11","cited_by_count":33,"area":"lr"},{"id":"2302.10258","title":"Neural Algorithmic Reasoning with Causal Regularisation","created":"2023-02-20","cited_by_count":31,"area":"lr"},{"id":"2106.07162","title":"Goal-Aware Neural SAT Solver","created":"2021-06-14","cited_by_count":28,"area":null},{"id":"2106.11072","title":"Techniques for Symbol Grounding with SATNet","created":"2021-06-16","cited_by_count":24,"area":null},{"id":"2310.09753","title":"When can transformers reason with abstract symbols?","created":"2023-10-15","cited_by_count":24,"area":null},{"id":"2307.04895","title":"Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer","created":"2023-07-10","cited_by_count":21,"area":null},{"id":"2307.04347","title":"Injecting Logical Constraints into Neural Networks via Straight-Through Estimators","created":"2023-07-10","cited_by_count":12,"area":null},{"id":"2309.12253","title":"SALSA-CLRS: A Sparse and Scalable Benchmark for Algorithmic Reasoning","created":"2023-09-21","cited_by_count":12,"area":null},{"id":"2410.20957","title":"Neuro-symbolic Learning Yielding Logical Constraints","created":"2024-10-28","cited_by_count":12,"area":"lr"},{"id":"2210.11633","title":"Graphically Structured Diffusion Models","created":"2022-10-20","cited_by_count":11,"area":"diffusion"},{"id":"2312.11522","title":"Assessing SATNet's Ability to Solve the Symbol Grounding Problem","created":"2023-12-13","cited_by_count":10,"area":null},{"id":"2412.08457","title":"Efficient Rectification of Neuro-Symbolic Reasoning Inconsistencies by Abductive Reflection","created":"2024-12-11","cited_by_count":9,"area":"lr"},{"id":"2608.18222","title":"Think Shallow, Solve Deep: Controlling Recurrent Dynamics for Reliable Test-Time Depth","created":"2026-08-18","cited_by_count":9,"area":null},{"id":"2111.12301","title":"Two-stage Rule-induction Visual Reasoning on RPMs with an Application to Video Prediction","created":"2021-11-24","cited_by_count":7,"area":null},{"id":"2212.04934","title":"Learning Graph Algorithms With Recurrent Graph Neural Networks","created":"2022-12-09","cited_by_count":6,"area":null},{"id":"2310.16731","title":"Disentangling Extraction and Reasoning in Multi-hop Spatial Reasoning","created":"2023-10-25","cited_by_count":6,"area":"lr"},{"id":"2502.01989","title":"VFScale: Intrinsic Reasoning through Verifier-Free Test-time Scalable Diffusion Model","created":"2025-02-04","cited_by_count":6,"area":"lr"},{"id":"2502.15794","title":"Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction","created":"2025-02-18","cited_by_count":6,"area":"deeprl"},{"id":"2210.09082","title":"A Solver-Free Framework for Scalable Learning in Neural ILP Architectures","created":"2022-10-17","cited_by_count":5,"area":null},{"id":"2505.19458","title":"Recurrent Self-Attention Dynamics: An Energy-Agnostic Perspective from Jacobians","created":"2025-05-26","cited_by_count":5,"area":null},{"id":"2205.10442","title":"Down and Across: Introducing Crossword-Solving as a New NLP Benchmark","created":"2022-05-20","cited_by_count":4,"area":"lr"},{"id":"2305.07617","title":"Scalable Coupling of Deep Learning with Logical Reasoning","created":"2023-05-12","cited_by_count":4,"area":"lr"},{"id":"2310.02133","title":"Learning Reliable Logical Rules with SATNet","created":"2023-10-03","cited_by_count":3,"area":"lr"},{"id":"2310.12557","title":"DepWiGNN: A Depth-wise Graph Neural Network for Multi-hop Spatial Reasoning in Text","created":"2023-10-19","cited_by_count":3,"area":"lr"},{"id":"2312.11651","title":"Bridging Logic and Learning: A Neural-Symbolic Approach for Enhanced Reasoning in Neural Models (ASPER)","created":"2023-12-18","cited_by_count":3,"area":"lr"},{"id":"2509.22023","title":"Teaching Transformers to Solve Combinatorial Problems through Efficient Trial & Error","created":"2025-09-26","cited_by_count":3,"area":"offlinerl"},{"id":"2512.03491","title":"Modal Logic Neural Networks","created":"2025-12-03","cited_by_count":3,"area":null},{"id":"2605.08605","title":"Lattice Deduction Transformers","created":"2026-05-09","cited_by_count":3,"area":null},{"id":"2605.25230","title":"Boosting Inference with Guided Reasoning: Stochastic Exploration for Recursive Models","created":"2026-05-24","cited_by_count":3,"area":null},{"id":"2101.07632","title":"Situation and Behavior Understanding by Trope Detection on Films","created":"2021-01-19","cited_by_count":2,"area":null},{"id":"2106.07984","title":"Learning Autonomy in Management of Wireless Random Networks","created":"2021-06-15","cited_by_count":2,"area":null},{"id":"2107.06994","title":"Systematic human learning and generalization from a brief tutorial with explanatory feedback","created":"2021-07-10","cited_by_count":2,"area":null},{"id":"2210.03275","title":"Achieving and Understanding Out-of-Distribution Generalization in Systematic Reasoning in Small-Scale Transformers","created":"2022-10-07","cited_by_count":2,"area":"lr"},{"id":"2502.11646","title":"Hyper-SET: Designing Transformers via Hyperspherical Energy Minimization","created":"2025-02-17","cited_by_count":2,"area":null},{"id":"2602.04006","title":"Rational ANOVA Networks","created":"2026-02-03","cited_by_count":2,"area":null},{"id":"2603.29496","title":"Metriplector: From Field Theory to Neural Architecture","created":"2026-03-31","cited_by_count":2,"area":null},{"id":"2102.06019","title":"Reinforcement Learning For Constraint Satisfaction Game Agents (15-Puzzle, Minesweeper, 2048, and Sudoku)","created":"2021-02-09","cited_by_count":1,"area":null},{"id":"2106.13061","title":"Fea2Fea: Exploring Structural Feature Correlations via Graph Neural Networks","created":"2021-06-24","cited_by_count":1,"area":null},{"id":"2202.00531","title":"PRIMA: Planner-Reasoner Inside a Multi-task Reasoning Agent","created":"2022-02-01","cited_by_count":1,"area":null},{"id":"2202.03229","title":"Neural Models for Output-Space Invariance in Combinatorial Problems","created":"2022-02-07","cited_by_count":1,"area":null},{"id":"2412.20110","title":"Cross-Modal Mapping: Mitigating the Modality Gap for Few-Shot Image Classification","created":"2024-12-28","cited_by_count":1,"area":null},{"id":"2504.03877","title":"Concept-based Rubrics Improve LLM Formative Assessment and Data Synthesis","created":"2025-04-04","cited_by_count":1,"area":"synth"},{"id":"2512.14765","title":"Guided Discrete Diffusion for Constraint Satisfaction Problems","created":"2025-12-16","cited_by_count":1,"area":"diffusion"},{"id":"2603.09221","title":"Beyond Test-Time Memory: State-Space Optimal Control for LLM Reasoning","created":"2026-03-10","cited_by_count":1,"area":"lr"},{"id":"2603.20801","title":"Large Neighborhood Search meets Iterative Neural Constraint Heuristics","created":"2026-03-21","cited_by_count":1,"area":null},{"id":"2604.13521","title":"C-voting: Confidence-Based Test-Time Voting without Explicit Energy Functions","created":"2026-04-15","cited_by_count":1,"area":null},{"id":"2605.20922","title":"Winfree Oscillatory Neural Network","created":"2026-05-20","cited_by_count":1,"area":null},{"id":"2608.06834","title":"Graph Machine: Exploring Edge Mechanisms as an Inductive Bias","created":"2026-08-07","cited_by_count":1,"area":null},{"id":"2609.26487","title":"When Recursive Models Finish Computing","created":"2026-09-22","cited_by_count":1,"area":null},{"id":"2202.03004","title":"Network Calculus with Flow Prolongation -- A Feedforward FIFO Analysis enabled by ML","created":"2022-02-07","cited_by_count":0,"area":null},{"id":"2408.08484","title":"An Unsupervised Learning Framework Combined with Heuristics for the Maximum Minimal Cut Problem","created":"2024-08-16","cited_by_count":0,"area":null},{"id":"2508.20978","title":"Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives","created":"2025-08-28","cited_by_count":0,"area":null},{"id":"2511.12603","title":"PID-controlled Langevin Dynamics for Faster Sampling of Generative Models","created":"2025-11-16","cited_by_count":0,"area":null},{"id":"2603.18436","title":"AS2 -- Attention-Based Soft Answer Sets: An End-to-End Differentiable Neuro-Soft-Symbolic Reasoning Architecture","created":"2026-03-19","cited_by_count":0,"area":"lr"},{"id":"2603.21100","title":"Learning Progressive Adaptation for Multi-Modal Tracking","created":"2026-03-22","cited_by_count":0,"area":null},{"id":"2605.25129","title":"Blocked Gibbs meets Diffusion Transformers: Unsupervised Learning for Constraint Optimization","created":"2026-05-24","cited_by_count":0,"area":"diffusion"},{"id":"2606.06518","title":"DiBS: Diffusion-Informed Branch Selection","created":"2026-06-02","cited_by_count":0,"area":"diffusion"},{"id":"2607.19635","title":"Anatomy of a Sound Neural Reasoner: One-Shot Amortization, First-Pass Poisoning, and Search Inertness in Clue-Rich Completion","created":"2026-07-22","cited_by_count":0,"area":null},{"id":"2608.14569","title":"Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration","created":"2026-06-02","cited_by_count":0,"area":null},{"id":"2609.25131","title":"Entropy Can Flow, or It Can Guide. Be Entropy. LEDFlow: Introducing Entropy-guided Generation Order into Uniform Discrete Flow","created":"2026-09-20","cited_by_count":0,"area":null},{"id":"2609.36126","title":"Reasoning with Neural Cellular Automata","created":"2026-09-28","cited_by_count":0,"area":"lr"},{"id":"2610.00541","title":"Random Recursive Models","created":"2026-09-30","cited_by_count":0,"area":null},{"id":"2610.18649","title":"Tiny Recursive Message Passing","created":"2026-10-13","cited_by_count":0,"area":null}],"next_cursor":null}