TY - RPRT TI - Deterministic Global Optimization over trained Kolmogorov Arnold Networks AU - Tanuj Karia AU - Giacomo Lastrucci AU - Artur M. Schweidtmann PY - 2025 UR - https://arxiv.org/abs/2503.02807 ID - 2503.02807 ER -