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"

11 / 11 papers shown

Title
Curriculum Abductive Learning Wen-Chao Hu Qi-Jie Li Lin Jia Cunjing Ge Yu-Feng Li Yuan Jiang Zhi-Hua Zhou 14 0 0 18 May 2025
Self-Supervised Transformers as Iterative Solution Improvers for Constraint Satisfaction Yudong Xu Wenhao Li Scott Sanner Elias Boutros Khalil 44 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 42 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 33 19 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 47 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 29 1 0 27 Sep 2023
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang Adam Ishay Joohyung Lee 35 9 0 10 Jul 2023
CuTS: Customizable Tabular Synthetic Data Generation Mark Vero Mislav Balunović Martin Vechev 26 3 0 07 Jul 2023
Reduced Implication-bias Logic Loss for Neuro-Symbolic Learning Haoyuan He Wang-Zhou Dai Ming Li AI4CE 34 2 0 14 Aug 2022
Refining neural network predictions using background knowledge Alessandro Daniele Emile van Krieken Luciano Serafini F. V. Harmelen 27 11 0 10 Jun 2022
Control of Dual-Sourcing Inventory Systems using Recurrent Neural Networks Lucas Böttcher Thomas Asikis I. Fragkos BDL 21 10 0 16 Jan 2022