Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems. - Christopher Brix; Julia Walczak; Nils Lommen; Thomas Noll 001 (CoRR, 2026)