Martin Vechev

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Machine Learning

Authentication Scheme

Language Model For Information Retrieval

Translation Model

Top Venues

Publications

Martin Vechev
Technical Perspective: Beautiful Symbolic Abstractions for Safe and Secure Machine Learning. Commun. ACM 66 (2) (2023)
Mustafa Zeqiri, Mark Niklas Müller, Marc Fischer, Martin Vechev
Efficient Certified Training and Robustness Verification of Neural ODEs. CoRR (2023)
Luca Beurer-Kellner, Marc Fischer, Martin Vechev
Prompting Is Programming: A Query Language For Large Language Models. CoRR (2022)