{"total":45,"rows":[{"id":"2102.09544","title":"Combinatorial optimization and reasoning with graph neural networks","created":"2021-02-18","cited_by_count":268,"area":null},{"id":"2307.07700","title":"NeurASP: Embracing Neural Networks into Answer Set Programming","created":"2023-07-15","cited_by_count":92,"area":null},{"id":"2410.13821","title":"Artificial Kuramoto Oscillatory Neurons","created":"2024-10-17","cited_by_count":38,"area":null},{"id":"2406.11179","title":"Learning Iterative Reasoning through Energy Diffusion","created":"2024-06-17","cited_by_count":36,"area":null},{"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":"2312.11522","title":"Assessing SATNet's Ability to Solve the Symbol Grounding Problem","created":"2023-12-13","cited_by_count":10,"area":null},{"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":"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":"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":"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":"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.21100","title":"Learning Progressive Adaptation for Multi-Modal Tracking","created":"2026-03-22","cited_by_count":0,"area":null},{"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":"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}