Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems

Christopher Brix, Julia Walczak, Nils Lommen +1

Solving quantifier-free non-linear real arithmetic (NRA) problems is a computationally hard task. To tackle this problem, prior work proposed a promising approach based on gradient…