M.Sc. Adrian Wurm
Hauptgebäude, Raum 2.16

T: +49 (0) 355 69 3807
F: +49 (0) 355 69 3855
Email: Adrian.Wurm@b-tu.de

Sprechstunde  nach Vereinbarung per eMail

Olivier Bournez, Johanne Cohen, and Adrian Wurm:
A Universal Uniform Approximation Theorem for Neural Networks. In Proceedings 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025, Warsaw, Poland.  Pawel Gawrychowski, Filip Mazowiecki, Michal Skrzypczak (eds.), LIPIcs 345, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-388-1 MFCS 2025: 29:1-29:20

Adrian Wurm: Checking extracted rules in Neural Networks.
In: Proc. International Joint Conference on Neural Networks IJCNN 2025, https://2025.ijcnn.org, Rome, Italy.

Klaus Meer and Adrian Wurm: Some structural complexity results for $\exists \mathbb{R}$.
Extended abstract in: Proc. 21st Conference Computability in Europe CiE 2025, Lisbon, Portugal.
Arnold Beckmann, Isabel Oitavem, Florin Manea (eds.), Springer LNCS 15764, pp. 305-320,2025.

A. Wurm: Robustness Verification in Neural Networks.
In Proc. 21st Int. Conference on the Integration of Constraint Programming, Artifical Intelligence, and Operations Reserach, https://link.springer.com/chapter/10.1007/978-3-031-60599-4_18, Uppsala, Sweden, Lecture Notes in Computer Science, vol 14743. Springer, pp. 263-378. Arxiv version see here ArXiv: https://arxiv.org/pdf/2403.13441

A. Wurm: Complexity of Reachability Problems in Neural Networks.
In: Proc. 17th International Conference on Reachability Problems RP 2023, Nice, France, Lecture Notes in Computer Science vol 14235, Springer, pp. 15-27, 2023. Arxiv version see here arXiv:306.05818