{"total":126,"rows":[{"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":"2111.05177","title":"On Training Implicit Models","created":"2021-11-09","cited_by_count":75,"area":null},{"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":"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":"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":"2105.08881","title":"Enforcing Policy Feasibility Constraints through Differentiable Projection for Energy Optimization","created":"2021-05-19","cited_by_count":31,"area":null},{"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":"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":"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":"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":"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":"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":"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":"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":"2407.05920","title":"LPGD: A General Framework for Backpropagation through Embedded Optimization Layers","created":"2024-07-08","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":"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":"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":"2310.02442","title":"GenCO: Generating Diverse Designs with Combinatorial Constraints","created":"2023-10-03","cited_by_count":3,"area":null},{"id":"2312.14836","title":"Learning Lagrangian Multipliers for the Travelling Salesman Problem","created":"2023-12-22","cited_by_count":3,"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":"2108.04578","title":"Data Driven VRP: A Neural Network Model to Learn Hidden Preferences for VRP","created":"2021-08-10","cited_by_count":2,"area":null},{"id":"2108.06481","title":"MatSat: a matrix-based differentiable SAT solver","created":"2021-08-14","cited_by_count":2,"area":null},{"id":"2112.04041","title":"A Transferable Approach for Partitioning Machine Learning Models on Multi-Chip-Modules","created":"2021-12-07","cited_by_count":2,"area":null},{"id":"2302.14473","title":"Implicit Bilevel Optimization: Differentiating through Bilevel Optimization Programming","created":"2023-02-28","cited_by_count":2,"area":null},{"id":"2407.10000","title":"Imbalances in Neurosymbolic Learning: Characterization and Mitigating Strategies","created":"2024-07-13","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":"2503.01817","title":"Gradient-Based Optimization on G\\\"odel Logic as Discrete Local Search","created":"2025-03-03","cited_by_count":2,"area":null},{"id":"2510.20607","title":"Generalizable Reasoning through Compositional Energy Minimization","created":"2025-10-23","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":"2110.08260","title":"Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks","created":"2021-10-14","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":"2202.06242","title":"Beyond NaN: Resiliency of Optimization Layers in The Face of Infeasibility","created":"2022-02-13","cited_by_count":1,"area":null},{"id":"2205.10157","title":"Machine Learning for Combinatorial Optimisation of Partially-Specified Problems: Regret Minimisation as a Unifying Lens","created":"2022-05-20","cited_by_count":1,"area":null},{"id":"2211.07076","title":"Learning predictive checklists from continuous medical data","created":"2022-11-14","cited_by_count":1,"area":null},{"id":"2303.16952","title":"Meta-Learning Parameterized First-Order Optimizers using Differentiable Convex Optimization","created":"2023-03-29","cited_by_count":1,"area":null},{"id":"2307.00653","title":"Neuro-Symbolic Sudoku Solver","created":"2023-07-02","cited_by_count":1,"area":null},{"id":"2308.02000","title":"Bridging Neural and Symbolic Representations with Transitional Dictionary Learning","created":"2023-08-03","cited_by_count":1,"area":null},{"id":"2401.09651","title":"Convex and Bilevel Optimization for Neuro-Symbolic Inference and Learning","created":"2024-01-17","cited_by_count":1,"area":null},{"id":"2406.00779","title":"Differentiation of Multi-objective Data-driven Decision Pipeline","created":"2024-06-02","cited_by_count":1,"area":null},{"id":"2502.02135","title":"Standard Neural Computation Alone Is Insufficient for Logical Intelligence","created":"2025-02-04","cited_by_count":1,"area":null},{"id":"2503.12917","title":"Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible","created":"2025-03-17","cited_by_count":1,"area":null},{"id":"2503.24123","title":"CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning","created":"2025-03-31","cited_by_count":1,"area":null},{"id":"2602.03297","title":"Lipschitz Multiscale Deep Equilibrium Models: A Theoretically Guaranteed and Accelerated Approach","created":"2026-02-03","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}],"next_cursor":"100"}