( en | de | ru )

 

Disambiguierung von "Sanchez-Stern, Alex"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generating Correctness Proofs with Neural Networks.

, , , und . CoRR, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

David Sánchez Sánchez

Martin Sanchez

Charakterisierung des Replikationsenzyms ORF904 aus Sulfolobus islandicus. Uni Bayreuth, (2010)

Fernando Sanchez

Antonia Sánchez

Christina Sanchez

 

Weitere Publikationen von Autoren mit dem selben Namen

PRoofster: Automated Formal Verification., , , , , , , , und . ICSE Companion, Seite 26-30. IEEE, (2023)Automatically improving accuracy for floating point expressions., , , und . PLDI, Seite 1-11. ACM, (2015)REPLica: REPL instrumentation for Coq analysis., , , und . CPP, Seite 99-113. ACM, (2020)Finding Root Causes of Floating Point Error with Herbgrind., , , und . CoRR, (2017)Passport: Improving Automated Formal Verification Using Identifiers., , , , , und . CoRR, (2022)Passport: Improving Automated Formal Verification Using Identifiers., , , , , und . ACM Trans. Program. Lang. Syst., 45 (2): 12:1-12:30 (Juni 2023)Finding root causes of floating point error., , , und . PLDI, Seite 256-269. ACM, (2018)Data-driven lemma synthesis for interactive proofs., , , , und . Proc. ACM Program. Lang., 6 (OOPSLA2): 505-531 (2022)Hybrid-Neural Synthesis of Machine Checkable Software Correctness Proofs.. University of California, San Diego, USA, (2021)Generating correctness proofs with neural networks., , , und . MAPL@PLDI, Seite 1-10. ACM, (2020)