TY  - RPRT
TI  - Using GPUs And LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems
AU  - Christopher Brix
AU  - Julia Walczak
AU  - Nils Lommen
AU  - Thomas Noll
PY  - 2026
UR  - https://arxiv.org/abs/2603.07764
ID  - 2603.07764
ER  -