2 papers
cs.IT2026
Non-Asymptotic Performance Guarantees for MLE under a Gumbel-Softmax Index Model with Phaseless Measurements
Jinchi Chen, Mingxi Hu, Peigang Jiang +3
This paper studies the recovery of a complex-valued signal from index-only observations generated by a phaseless Gumbel-Softmax model. The model is motivated by limited-feedback fr…
cs.AI2024
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
Yiwen Sun, Furong Ye, Xianyin Zhang +4
Conflict-Driven Clause Learning (CDCL) is the mainstream framework for solving the Satisfiability problem (SAT), and CDCL solvers typically rely on various heuristics, which have a…