Injecting Logical Constraints into Neural Networks via Straight-Through Estimators

10 July 2023

Papers citing "Injecting Logical Constraints into Neural Networks via Straight-Through Estimators"

10 / 10 papers shown

Title
Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction Yudong Xu Wenhao Li Scott Sanner Elias Boutros Khalil 39 0 0 18 Feb 2025
Learning-driven Physically-aware Large-scale Circuit Gate Sizing Yuyang Ye Peng Xu Lizheng Ren Tinghuan Chen Hao Yan Bei Yu L. Shi AI4CE 26 0 0 13 Mar 2024
Learning with Logical Constraints but without Shortcut Satisfaction Zenan Li Zehua Liu Yuan Yao Jingwei Xu Taolue Chen Xiaoxing Ma Jian Lu NAI 18 18 0 01 Mar 2024
Edge Detectors Can Make Deep Convolutional Neural Networks More Robust Jin Ding Jie-Chao Zhao Yong-zhi Sun Ping Tan Jia-Wei Wang Ji-en Ma You-tong Fang AAML 24 2 0 26 Feb 2024
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints Weidi Xu Jingwei Wang Lele Xie Jianshan He Hongting Zhou Taifeng Wang Xiaopei Wan Jingdong Chen Chao Qu Wei Chu 20 1 0 27 Sep 2023
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang Adam Ishay Joohyung Lee 16 9 0 10 Jul 2023
CuTS: Customizable Tabular Synthetic Data Generation Mark Vero Mislav Balunović Martin Vechev 15 3 0 07 Jul 2023
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning Haoyuan He Wang-Zhou Dai Ming Li AI4CE 29 2 0 14 Aug 2022
Refining neural network predictions using background knowledge Alessandro Daniele Emile van Krieken Luciano Serafini F. V. Harmelen 6 11 0 10 Jun 2022
Control of Dual-Sourcing Inventory Systems using Recurrent Neural Networks Lucas Böttcher Thomas Asikis I. Fragkos BDL 6 10 0 16 Jan 2022