Adrian Wurm

According to our database, Adrian Wurm authored at least 8 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Some structural complexity results for ∃ℝ.

Klaus Meer, Adrian Wurm

CoRR, February, 2025

A Universal Uniform Approximation Theorem for Neural Networks.

Olivier Bournez, Johanne Cohen, Adrian Wurm

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

Checking extracted rules in Neural Networks.

Adrian Wurm

Proceedings of the International Joint Conference on Neural Networks, 2025

Some Structural Complexity Results for $\exists {\mathbb {R}}$.

Klaus Meer, Adrian Wurm

Proceedings of the Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025

2024

On Hybrid Gene Regulatory Networks.

Adrian Wurm, Honglu Sun

CoRR, 2024

Robustness Verifcation in Neural Networks.

Adrian Wurm

CoRR, 2024

Robustness Verification in Neural Networks.

Adrian Wurm

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023

Complexity of Reachability Problems in Neural Networks.

Adrian Wurm

Proceedings of the Reachability Problems - 17th International Conference, 2023