GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra. - Curie Kim; Carsten Portner; Mingju Liu; Steve Dai; Haoxing Ren; Brucek Khailany; Alvaro Velasquez; Ismail Alkhouri; Cunxi Yu (CoRR, 2026)