conftrace_

differentiable solver

9 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logical reasoning (3) neuro-symbolic ai (2) constraint satisfaction (2) combinatorial optimization (2) satisfiability solver (1) differentiable maxsat solver (1) maximal independent set (1) differentiable satisfiability (1) discrete exponential family (1) neural network component (1)

Papers

A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference COLING 2024 Multi-Session SLAM with Differentiable Wide-Baseline Pose Optimization CVPR 2024 DIMES: A Differentiable Meta Solver for Combinatorial Optimization Problems NeurIPS 2022 Learning Symmetric Rules with SATNet NeurIPS 2022 Implicit MLE: Backpropagating Through Discrete Exponential Family Distributions NeurIPS 2021 Learning Incompressible Fluid Dynamics from Scratch - Towards Fast, Differentiable Fluid Models that Generalize ICLR 2021 Physarum Powered Differentiable Linear Programming Layers and Applications AAAI 2021 Techniques for Symbol Grounding with SATNet NeurIPS 2021 SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver ICML 2019