{"total":173,"rows":[{"id":"2109.00137","title":"Implicit Behavioral Cloning","created":"2021-09-01","cited_by_count":452,"area":"offlinerl"},{"id":"2102.09544","title":"Combinatorial optimization and reasoning with graph neural networks","created":"2021-02-18","cited_by_count":268,"area":null},{"id":"2104.12225","title":"DC3: A learning method for optimization with hard constraints","created":"2021-04-25","cited_by_count":184,"area":null},{"id":"2103.16378","title":"End-to-End Constrained Optimization Learning: A Survey","created":"2021-03-30","cited_by_count":157,"area":null},{"id":"2307.13565","title":"Decision-Focused Learning: Foundations, State of the Art, Benchmark and Future Opportunities","created":"2023-07-25","cited_by_count":130,"area":null},{"id":"2106.01798","title":"Implicit MLE: Backpropagating Through Discrete Exponential Family Distributions","created":"2021-06-03","cited_by_count":98,"area":null},{"id":"2205.11502","title":"On the Paradox of Learning to Reason from Data","created":"2022-05-23","cited_by_count":93,"area":"lr"},{"id":"2111.05177","title":"On Training Implicit Models","created":"2021-11-09","cited_by_count":75,"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":"2304.04812","title":"Scallop: A Language for Neurosymbolic Programming","created":"2023-04-10","cited_by_count":63,"area":"lr"},{"id":"2105.05330","title":"Neuro-Symbolic Artificial Intelligence: Current Trends","created":"2021-05-11","cited_by_count":54,"area":null},{"id":"2105.02343","title":"CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints","created":"2021-05-05","cited_by_count":49,"area":null},{"id":"2210.12867","title":"Deep Equilibrium Approaches to Diffusion Models","created":"2022-10-23","cited_by_count":42,"area":"diffusion"},{"id":"2204.02892","title":"Sub-Task Decomposition Enables Learning in Sequence to Sequence Tasks","created":"2022-04-06","cited_by_count":41,"area":null},{"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":"2110.15245","title":"From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence","created":"2021-10-28","cited_by_count":35,"area":null},{"id":"2210.15889","title":"Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing","created":"2022-10-28","cited_by_count":35,"area":null},{"id":"2205.14268","title":"NeuPSL: Neural Probabilistic Soft Logic","created":"2022-05-27","cited_by_count":34,"area":"lr"},{"id":"2105.08881","title":"Enforcing Policy Feasibility Constraints through Differentiable Projection for Energy Optimization","created":"2021-05-19","cited_by_count":31,"area":null},{"id":"2205.15213","title":"Backpropagation through Combinatorial Algorithms: Identity with Projection Works","created":"2022-05-30","cited_by_count":29,"area":"lr"},{"id":"2103.09527","title":"Implicit Normalizing Flows","created":"2021-03-17","cited_by_count":28,"area":null},{"id":"2112.09161","title":"Constraint-based graph network simulator","created":"2021-12-16","cited_by_count":27,"area":null},{"id":"2304.00600","title":"Recurrence without Recurrence: Stable Video Landmark Detection with Deep Equilibrium Models","created":"2023-04-02","cited_by_count":27,"area":null},{"id":"2205.03076","title":"Beyond backpropagation: bilevel optimization through implicit differentiation and equilibrium propagation","created":"2022-05-06","cited_by_count":26,"area":null},{"id":"2106.11072","title":"Techniques for Symbol Grounding with SATNet","created":"2021-06-16","cited_by_count":24,"area":null},{"id":"2210.01802","title":"Alternating Differentiation for Optimization Layers","created":"2022-10-03","cited_by_count":22,"area":null},{"id":"2303.09992","title":"LION: Implicit Vision Prompt Tuning","created":"2023-03-17","cited_by_count":22,"area":null},{"id":"2312.03905","title":"A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints","created":"2023-12-06","cited_by_count":22,"area":null},{"id":"2208.11561","title":"Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions","created":"2022-08-24","cited_by_count":21,"area":"lr"},{"id":"2210.12547","title":"SurCo: Learning Linear Surrogates For Combinatorial Nonlinear Optimization Problems","created":"2022-10-22","cited_by_count":21,"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.08964","title":"Landscape Surrogate: Learning Decision Losses for Mathematical Optimization Under Partial Information","created":"2023-07-18","cited_by_count":18,"area":null},{"id":"2110.05645","title":"A global convergence theory for deep ReLU implicit networks via over-parameterization","created":"2021-10-11","cited_by_count":17,"area":null},{"id":"2209.13271","title":"The Curse of Unrolling: Rate of Differentiating Through Optimization","created":"2022-09-27","cited_by_count":16,"area":null},{"id":"2403.00323","title":"Softened Symbol Grounding for Neuro-symbolic Systems","created":"2024-03-01","cited_by_count":16,"area":null},{"id":"2406.16087","title":"Imperative Learning: A Self-supervised Neuro-Symbolic Learning Framework for Robot Autonomy","created":"2024-06-23","cited_by_count":16,"area":"offlinerl"},{"id":"2407.13917","title":"LinSATNet: The Positive Linear Satisfiability Neural Networks","created":"2024-07-18","cited_by_count":16,"area":null},{"id":"2111.13236","title":"Joint inference and input optimization in equilibrium networks","created":"2021-11-25","cited_by_count":15,"area":null},{"id":"2601.04688","title":"ToolGate: Contract-Grounded and Verified Tool Execution for LLMs","created":"2026-01-08","cited_by_count":15,"area":"agents"},{"id":"2208.04055","title":"Neural Set Function Extensions: Learning with Discrete Functions in High Dimensions","created":"2022-08-08","cited_by_count":14,"area":null},{"id":"2306.13796","title":"On Learning Latent Models with Multi-Instance Weak Supervision","created":"2023-06-23","cited_by_count":13,"area":null},{"id":"2502.11245","title":"Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens","created":"2025-02-16","cited_by_count":13,"area":null},{"id":"2206.11215","title":"Certifiable 3D Object Pose Estimation: Foundations, Learning Models, and Self-Training","created":"2022-06-22","cited_by_count":12,"area":null},{"id":"2209.04862","title":"Adaptive Perturbation-Based Gradient Estimation for Discrete Latent Variable Models","created":"2022-09-11","cited_by_count":12,"area":null},{"id":"2302.14207","title":"Semantic Strengthening of Neuro-Symbolic Learning","created":"2023-02-28","cited_by_count":12,"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":"2410.20957","title":"Neuro-symbolic Learning Yielding Logical Constraints","created":"2024-10-28","cited_by_count":12,"area":"lr"},{"id":"2102.07456","title":"Neuro-algorithmic Policies enable Fast Combinatorial Generalization","created":"2021-02-15","cited_by_count":11,"area":null},{"id":"2206.04976","title":"Refining neural network predictions using background knowledge","created":"2022-06-10","cited_by_count":11,"area":null},{"id":"2210.11633","title":"Graphically Structured Diffusion Models","created":"2022-10-20","cited_by_count":11,"area":"diffusion"},{"id":"2310.00526","title":"Are Graph Neural Networks Optimal Approximation Algorithms?","created":"2023-10-01","cited_by_count":11,"area":null},{"id":"2401.03244","title":"Artificial Intelligence for Operations Research: Revolutionizing the Operations Research Process","created":"2024-01-06","cited_by_count":11,"area":null},{"id":"2410.13111","title":"Controllable Generation via Locally Constrained Resampling","created":"2024-10-17","cited_by_count":11,"area":null},{"id":"2106.03188","title":"Combinatorial Optimization for Panoptic Segmentation: A Fully Differentiable Approach","created":"2021-06-06","cited_by_count":10,"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":"2403.00329","title":"Learning with Logical Constraints but without Shortcut Satisfaction","created":"2024-03-01","cited_by_count":10,"area":null},{"id":"2411.04383","title":"Neuro-Symbolic AI: Explainability, Challenges, and Future Trends","created":"2024-11-07","cited_by_count":10,"area":null},{"id":"2411.19285","title":"BPQP: A Differentiable Convex Optimization Framework for Efficient End-to-End Learning","created":"2024-11-28","cited_by_count":10,"area":null},{"id":"2505.06191","title":"Building Intelligent Agents with Neuro-Symbolic Concepts","created":"2025-05-09","cited_by_count":10,"area":null},{"id":"2510.27610","title":"ORGEval: Graph-Theoretic Evaluation of LLMs in Optimization Modeling","created":"2025-10-31","cited_by_count":10,"area":null},{"id":"2303.11730","title":"Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices","created":"2023-03-21","cited_by_count":9,"area":"lr"},{"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":"2202.03888","title":"Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation","created":"2022-02-08","cited_by_count":8,"area":null},{"id":"2204.03643","title":"Total Variation Optimization Layers for Computer Vision","created":"2022-04-07","cited_by_count":8,"area":null},{"id":"2411.00773","title":"LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation","created":"2024-11-01","cited_by_count":8,"area":"lr"},{"id":"2105.03417","title":"Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference","created":"2021-05-07","cited_by_count":7,"area":null},{"id":"2107.10493","title":"Abstract Reasoning via Logic-guided Generation","created":"2021-07-22","cited_by_count":7,"area":null},{"id":"2304.04906","title":"Survey on Leveraging Uncertainty Estimation Towards Trustworthy Deep Neural Networks: The Case of Reject Option and Post-training Processing","created":"2023-04-11","cited_by_count":7,"area":null},{"id":"2406.06246","title":"Data-Efficient Learning with Neural Programs","created":"2024-06-10","cited_by_count":7,"area":null},{"id":"2409.17500","title":"GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent","created":"2024-09-26","cited_by_count":7,"area":null},{"id":"2412.14515","title":"Relational Programming with Foundation Models","created":"2024-12-19","cited_by_count":7,"area":null},{"id":"2111.06961","title":"Adversarially Robust Learning for Security-Constrained Optimal Power Flow","created":"2021-11-12","cited_by_count":6,"area":null},{"id":"2112.08091","title":"Ensuring DNN Solution Feasibility for Optimization Problems with Convex Constraints and Its Application to DC Optimal Power Flow Problems","created":"2021-12-15","cited_by_count":6,"area":null},{"id":"2202.12404","title":"Exploiting Problem Structure in Deep Declarative Networks: Two Case Studies","created":"2022-02-24","cited_by_count":6,"area":null},{"id":"2302.06019","title":"A Correct-and-Certify Approach to Self-Supervise Object Pose Estimators via Ensemble Self-Training","created":"2023-02-12","cited_by_count":6,"area":null},{"id":"2308.10487","title":"Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees","created":"2023-08-21","cited_by_count":6,"area":"lr"},{"id":"2402.11903","title":"DiLA: Enhancing LLM Tool Learning with Differential Logic Layer","created":"2024-02-19","cited_by_count":6,"area":"lr"},{"id":"2407.05920","title":"LPGD: A General Framework for Backpropagation through Embedded Optimization Layers","created":"2024-07-08","cited_by_count":6,"area":null},{"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":"2202.04161","title":"Logical Reasoning for Task Oriented Dialogue Systems","created":"2022-02-08","cited_by_count":5,"area":"lr"},{"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":"2401.06820","title":"QCQP-Net: Reliably Learning Feasible Alternating Current Optimal Power Flow Solutions Under Constraints","created":"2024-01-11","cited_by_count":5,"area":null},{"id":"2503.18213","title":"A Study on Neuro-Symbolic Artificial Intelligence: Healthcare Perspectives","created":"2025-03-23","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":"2602.10097","title":"Step-resolved data attribution for looped transformers","created":"2026-02-10","cited_by_count":5,"area":null},{"id":"2106.03121","title":"End-to-End Neuro-Symbolic Architecture for Image-to-Image Reasoning Tasks","created":"2021-06-06","cited_by_count":4,"area":null},{"id":"2206.13998","title":"Learning Symmetric Rules with SATNet","created":"2022-06-28","cited_by_count":4,"area":null},{"id":"2303.16206","title":"Learning Iterative Neural Optimizers for Image Steganography","created":"2023-03-27","cited_by_count":4,"area":null},{"id":"2305.07617","title":"Scalable Coupling of Deep Learning with Logical Reasoning","created":"2023-05-12","cited_by_count":4,"area":"lr"},{"id":"2503.21937","title":"Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming","created":"2025-03-27","cited_by_count":4,"area":"lr"},{"id":"2105.01480","title":"Neural Weighted A*: Learning Graph Costs and Heuristics with Differentiable Anytime A*","created":"2021-05-04","cited_by_count":3,"area":null},{"id":"2211.07727","title":"Logical Tasks for Measuring Extrapolation and Rule Comprehension","created":"2022-11-14","cited_by_count":3,"area":"lr"},{"id":"2310.02133","title":"Learning Reliable Logical Rules with SATNet","created":"2023-10-03","cited_by_count":3,"area":"lr"},{"id":"2310.02442","title":"GenCO: Generating Diverse Designs with Combinatorial Constraints","created":"2023-10-03","cited_by_count":3,"area":null},{"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":"2312.14836","title":"Learning Lagrangian Multipliers for the Travelling Salesman Problem","created":"2023-12-22","cited_by_count":3,"area":null},{"id":"2509.22023","title":"Teaching Transformers to Solve Combinatorial Problems through Efficient Trial & Error","created":"2025-09-26","cited_by_count":3,"area":"offlinerl"}],"next_cursor":"100"}