Cover Image

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zeng, Hongtai, Yang, Chao, Zhou, Yanzhen, Yang, Cheng, Guo, Qinglai
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Systems and Control Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LinSATNet: The Positive Linear Satisfiability Neural Networks
by: Wang, Runzhong, et al.
Published: (2024)

Anytime Acceleration of Gradient Descent
by: Zhang, Zihan, et al.
Published: (2024)

Natural Gradient Descent for Control
by: Esmzad, Ramin, et al.
Published: (2025)

Interpretable Gradient Descent for Kalman Gain
by: Belabbas, M. A., et al.
Published: (2025)

On Convergence of the Iteratively Preconditioned Gradient-Descent (IPG) Observer
by: Chakrabarti, Kushal, et al.
Published: (2024)

Trajectory-Oriented Control Using Gradient Descent: An Unconventional Approach
by: Esmzad, Ramin, et al.
Published: (2024)

Model Predictive Path Integral Control as Preconditioned Gradient Descent
by: Fazlyab, Mahyar, et al.
Published: (2026)

Input-to-State Stability of a Bilevel Proximal Gradient Descent Algorithm
by: Kolmanovsky, Torbjørn Cunis Ilya
Published: (2022)

Perturbed Gradient Descent Algorithms are Small-Disturbance Input-to-State Stable
by: Cui, Leilei, et al.
Published: (2025)

Gradient Dominance in the Linear Quadratic Regulator: A Unified Analysis for Continuous-Time and Discrete-Time Systems
by: Watanabe, Yuto, et al.
Published: (2026)

Robustness of Iteratively Pre-Conditioned Gradient-Descent Method: The Case of Distributed Linear Regression Problem
by: Chakrabarti, Kushal, et al.
Published: (2021)

Iterative Pre-Conditioning for Expediting the Gradient-Descent Method: The Distributed Linear Least-Squares Problem
by: Chakrabarti, Kushal, et al.
Published: (2020)

Analysis of Gradient Descent with Varying Step Sizes using Integral Quadratic Constraints
by: Padmanabhan, Ram, et al.
Published: (2022)

Distributionally Robust Control with End-to-End Statistically Guaranteed Metric Learning
by: Wu, Jingyi, et al.
Published: (2025)

A Proximal Descent Method for Minimizing Weakly Convex Optimization
by: Liao, Feng-Yi, et al.
Published: (2025)

Input-Output Stability of Gradient Descent: A Discrete-Time Passivity-Based Approach
by: Moalemi, Sepehr, et al.
Published: (2024)

Accelerated Stabilization of Switched Linear MIMO Systems using Generalized Homogeneity
by: Labbadi, Moussa, et al.
Published: (2026)

On the Perturbed Projection-Based Distributed Gradient-Descent Algorithm: A Fully-Distributed Adaptive Redesign
by: Bazizi, Tarek, et al.
Published: (2025)

IRKA is a Riemannian Gradient Descent Method
by: Mlinarić, Petar, et al.
Published: (2023)

On Linear Convergence of Distributed Stochastic Bilevel Optimization over Undirected Networks via Gradient Aggregation
by: Tak, Ajay, et al.
Published: (2025)

Differentiable Distributionally Robust Optimization Layers
by: Ma, Xutao, et al.
Published: (2024)

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

Extremum Seeking for PDE Systems using Physics-Informed Neural Networks
by: Guo, Haojin, et al.
Published: (2025)

Accelerated Alternating Direction Method of Multipliers Gradient Tracking for Distributed Optimization
by: Sebastián, Eduardo, et al.
Published: (2024)

Constraint-adaptive MPC for large-scale systems: Satisfying state constraints without imposing them
by: Nouwens, S. A. N., et al.
Published: (2024)

Accelerated ADMM: Automated Parameter Tuning and Improved Linear Convergence
by: Tavakoli, Meisam, et al.
Published: (2025)

Using Laplace Transform To Optimize the Hallucination of Generation Models
by: Kang, Cheng, et al.
Published: (2026)

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

Dual Acceleration for Minimax Optimization: Linear Convergence Under Relaxed Assumptions
by: Li, Jingwang, et al.
Published: (2025)

Technical Report: A Totally Asynchronous Nesterov's Accelerated Gradient Method for Convex Optimization
by: Pond, Ellie, et al.
Published: (2024)

Neural-NPV Control: Learning Parameter-Dependent Controllers and Lyapunov Functions with Neural Networks
by: Niloy, MD Abul Kashem, et al.
Published: (2026)

A Globally Convergent Policy Gradient Method for Linear Quadratic Gaussian (LQG) Control
by: Sadamoto, Tomonori, et al.
Published: (2023)

Global Convergence of Policy Gradient Methods for ReLU Controllers in Linear Quadratic Regulation
by: Rodriguez-Gil, Jhojan A., et al.
Published: (2026)

Neural Risk Limiting Dispatch in Power Networks: Formulation and Generalization Guarantees
by: Chen, Ge, et al.
Published: (2024)

Graphical Dominance Analysis for Linear Systems: A Frequency-Domain Approach
by: Chen, Chao, et al.
Published: (2025)

Willems' Fundamental Lemma for Nonlinear Systems with Koopman Linear Embedding
by: Shang, Xu, et al.
Published: (2024)

Brunovsky Riccati Recursion for Linear Model Predictive Control
by: Yang, Shaohui, et al.
Published: (2025)

Enhancing Stochastic Gradient Descent: A Unified Framework and Novel Acceleration Methods for Faster Convergence
by: Deng, Yichuan, et al.
Published: (2024)

On the Existence of Koopman Linear Embeddings for Controlled Nonlinear Systems
by: Shang, Xu, et al.
Published: (2026)

Optimal Output Feedback Learning Control for Discrete-Time Linear Quadratic Regulation
by: Xie, Kedi, et al.
Published: (2025)