Adrian Wurm

Orcid: 0009-0007-0481-9223

According to our database1, Adrian Wurm authored at least 7 papers between 2023 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Some structural complexity results for ∃ℝ.
CoRR, February, 2025

A Universal Uniform Approximation Theorem for Neural Networks.
Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

Some Structural Complexity Results for $\exists {\mathbb {R}}$.
Proceedings of the Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025

2024
On Hybrid Gene Regulatory Networks.
CoRR, 2024

Robustness Verifcation in Neural Networks.
CoRR, 2024

Robustness Verification in Neural Networks.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

2023
Complexity of Reachability Problems in Neural Networks.
Proceedings of the Reachability Problems - 17th International Conference, 2023


  Loading...