Lommen, Nils

1 publications

ICLRW 2025 Using GPUs and LLMs Can Be Satisfying for Nonlinear Real Arithmetic Problems Christopher Brix, Julia Walczak, Nils Lommen, Thomas Noll