Cover Image

LinSATNet: The Positive Linear Satisfiability Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Runzhong, Zhang, Yunhao, Guo, Ziao, Chen, Tianyi, Yang, Xiaokang, Yan, Junchi
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
by: Zeng, Hongtai, et al.
Published: (2024)

Learning to Solve Combinatorial Optimization under Positive Linear Constraints via Non-Autoregressive Neural Networks
by: Wang, Runzhong, et al.
Published: (2024)

Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime
by: Geng, Haoyu, et al.
Published: (2023)

Optimal Control Operator Perspective and a Neural Adaptive Spectral Method
by: Feng, Mingquan, et al.
Published: (2024)

Double-Bounded Optimal Transport for Advanced Clustering and Classification
by: Shi, Liangliang, et al.
Published: (2024)

Ginger: An Efficient Curvature Approximation with Linear Complexity for General Neural Networks
by: Hao, Yongchang, et al.
Published: (2024)

The Sharpness Disparity Principle in Transformers for Accelerating Language Model Pre-Training
by: Wang, Jinbo, et al.
Published: (2025)

T-SKM-Net: Trainable Neural Network Framework for Linear Constraint Satisfaction via Sampling Kaczmarz-Motzkin Method
by: Zhu, Haoyu, et al.
Published: (2025)

FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear Programming
by: Li, Hongpei, et al.
Published: (2025)

Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
by: Zhou, Duo, et al.
Published: (2025)

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks
by: Ataei, Masoud, et al.
Published: (2025)

Primal-Dual Spectral Representation for Off-policy Evaluation
by: Hu, Yang, et al.
Published: (2024)

A Dual Certificate Approach to Sparsity in Infinite-Width Shallow Neural Networks
by: Del Grande, Leonardo, et al.
Published: (2026)

An Optimistic-Robust Approach for Dynamic Positioning of Omnichannel Inventories
by: Harsha, Pavithra, et al.
Published: (2023)

ResearchEVO: An End-to-End Framework for Automated Scientific Discovery and Documentation
by: Zhao, Zhe, et al.
Published: (2026)

Physics-informed Neural-operator Predictive Control for Drag Reduction in Turbulent Flows
by: Zhao, Zelin, et al.
Published: (2025)

Temporal Robustness in Discrete Time Linear Dynamical Systems
by: Metya, Nilava, et al.
Published: (2025)

Global Convergence and Rich Feature Learning in $L$-Layer Infinite-Width Neural Networks under $μ$P Parametrization
by: Chen, Zixiang, et al.
Published: (2025)

Local Linearity of LLMs Enables Activation Steering via Model-Based Linear Optimal Control
by: Skifstad, Julian, et al.
Published: (2026)

WANCO: Weak Adversarial Networks for Constrained Optimization problems
by: Bao, Gang, et al.
Published: (2024)

An Improved Finite-time Analysis of Temporal Difference Learning with Deep Neural Networks
by: Ke, Zhifa, et al.
Published: (2024)

Offline Supervised Learning V.S. Online Direct Policy Optimization: A Comparative Study and A Unified Training Paradigm for Neural Network-Based Optimal Feedback Control
by: Zhao, Yue, et al.
Published: (2022)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
by: Li, Haoyu, et al.
Published: (2026)

Optimizing the Optimizer for Physics-Informed Neural Networks and Kolmogorov-Arnold Networks
by: Kiyani, Elham, et al.
Published: (2025)

Bayesian Optimization for Hyperparameters Tuning in Neural Networks
by: Onorato, Gabriele
Published: (2024)

To Cool or not to Cool? Temperature Network Meets Large Foundation Models via DRO
by: Qiu, Zi-Hao, et al.
Published: (2024)

Combined-distance-based score function of cognitive fuzzy sets and its application in lung cancer pain evaluation
by: Jiang, Lisheng, et al.
Published: (2025)

Safety-Aware Reinforcement Learning for Electric Vehicle Charging Station Management in Distribution Network
by: Fan, Jiarong, et al.
Published: (2024)

Safe Decentralized Operation of EV Virtual Power Plant with Limited Network Visibility via Multi-Agent Reinforcement Learning
by: Huang, Chenghao, et al.
Published: (2026)

Training Safe Neural Networks with Global SDP Bounds
by: Soletskyi, Roman, et al.
Published: (2024)

Applications of 0-1 Neural Networks in Prescription and Prediction
by: Patil, Vrishabh, et al.
Published: (2024)

Taming Binarized Neural Networks and Mixed-Integer Programs
by: Aspman, Johannes, et al.
Published: (2023)

Employing Deep Neural Operators for PDE control by decoupling training and optimization
by: Lundqvist, Oliver G. S., et al.
Published: (2025)

Stability-Preserving Online Adaptation of Neural Closed-loop Maps
by: Saccani, Danilo, et al.
Published: (2026)

Feed-Forward Neural Networks as a Mixed-Integer Program
by: Aftabi, Navid, et al.
Published: (2024)

Graph Neural Networks for the Offline Nanosatellite Task Scheduling Problem
by: Pacheco, Bruno Machado, et al.
Published: (2023)

On the Convergence of Overparameterized Problems: Inherent Properties of the Compositional Structure of Neural Networks
by: de Oliveira, Arthur Castello Branco, et al.
Published: (2025)

Test-Time Search in Neural Graph Coarsening Procedures for the Capacitated Vehicle Routing Problem
by: Sim, Yoonju, et al.
Published: (2025)

A Riemannian Optimization Perspective of the Gauss-Newton Method for Feedforward Neural Networks
by: Cayci, Semih
Published: (2024)

Knowledge Transfer based Evolutionary Deep Neural Network for Intelligent Fault Diagnosis
by: Sharma, Arun K., et al.
Published: (2021)