( en | de | ru )

 

Disambiguation of "Vechev, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Robustness Certification of Generative Models

, , and . (2020)cite arxiv:2004.14756Comment: Prior version submitted to ICLR 2020.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Breitenfeldt

Mass measurements on short-lived Cd and Ag nuclides at the online mass spectrometer ISOLTRAP. Uni Greifswald, (2009)

Martin Faes

Analyse der mehrskaligen Transportmechanismen beim laminaren Mischen mittels laseroptischer und numerischer Methoden. Uni Hannover, (2009)

Martin Brückner

Vergleichende Untersuchungen zur Inzidenz apoptotischer und proliferativer Veränderungen kultivierter, humaner Knochenzellen von Ober- und Unterkiefer auf maschinenbearbeitetem, reinem Titan über 25 Tage. Uni Leipzig, (2009)

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)

Martin Nickel

Einsatz von Rollenspielen und standardisierten Eltern zur Schulung kommunikativer Kompetenzen von Medizinstudenten in Anamnese- und Beratungsgesprächen mit Eltern kranker Kinder: eine quantitative und qualitative Analyse im Kontrollgruppendesign. Uni Heidelberg, (2009)
 

Other publications of authors with the same name

Automatic Verification of RMA Programs via Abstraction Extrapolation., , , , and . VMCAI, volume 10747 of Lecture Notes in Computer Science, page 47-70. Springer, (2018)CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors., , , and . PLDI, page 456-467. ACM, (2007)Static serializability analysis for causal consistency., , , and . PLDI, page 90-104. ACM, (2018)Robustness certification with generative models., , , , and . PLDI, page 1141-1154. ACM, (2021)Scalable and precise dynamic datarace detection for structured parallelism., , , , and . PLDI, page 531-542. ACM, (2012)Automated Discovery of Adaptive Attacks on Adversarial Defenses., , , and . NeurIPS, page 26858-26870. (2021)LAMP: Extracting Text from Gradients with Language Model Priors., , , and . NeurIPS, (2022)Adversarial Training and Provable Defenses: Bridging the Gap., and . ICLR, OpenReview.net, (2020)DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization., , , , and . ACM Conference on Computer and Communications Security, page 508-524. ACM, (2018)Probabilistic Verification of Network Configurations., , , , and . SIGCOMM, page 750-764. ACM, (2020)