← Search

Zhongteng Gui

2 accepted papers

2026

Design Linear Constrained Neural Layers with Implicit Convex Optimization

ICML 2026poster

One essential limitation of neural networks is how to enforce (hard) constraints on prediction. We propose a plug-in, differentiable layer, which involves a fast implicit (convex) optimization procedure to enforce the general linear constraint. It aims to minimize a divergence between unconstrained …

Cited by 0SourceScholar
2025

Bridging Crypto with ML-based Solvers: the SAT Formulation and Benchmarks

NeurIPS 2025poster

The Boolean Satisfiability Problem (SAT) plays a crucial role in cryptanalysis, enabling tasks like key recovery and distinguisher construction. Conflict-Driven Clause Learning (CDCL) has emerged as the dominant paradigm in modern SAT solving, and machine learning has been increasingly integrated wi…

Cited by 0SourceScholar