Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Euler: A System for Numerical Optimization of Programs., und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 732-737. Springer, (2012)Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems., , , , , , und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 137-154. Springer, (2019)Verifiably safe exploration for end-to-end reinforcement learning., , , , , und . HSCC, Seite 14:1-14:11. ACM, (2021)A Dataset for Learning University STEM Courses at Scale and Generating Questions at a Human Level., , , , , , , , , und 14 andere Autor(en). AAAI, Seite 15921-15929. AAAI Press, (2023)A large-scale benchmark for few-shot program induction and synthesis., , , , , , , und . ICML, Volume 139 von Proceedings of Machine Learning Research, Seite 175-186. PMLR, (2021)Learning to Infer Graphics Programs from Hand-Drawn Images., , , und . NeurIPS, Seite 6062-6071. (2018)Learning Libraries of Subroutines for Neurally-Guided Bayesian Program Induction., , , , und . NeurIPS, Seite 7816-7826. (2018)Program Synthesis Guided Reinforcement Learning for Partially Observed Environments., , , , , und . NeurIPS, Seite 29669-29683. (2021)Optimizing consistency for partially replicated data stores., , und . PPoPP, Seite 457-458. ACM, (2022)QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge., , , und . SPLASH (Companion Volume), Seite 55-56. ACM, (2017)