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)Verifiably safe exploration for end-to-end reinforcement learning., , , , , und . HSCC, Seite 14:1-14:11. ACM, (2021)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)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)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)Learning to Infer Graphics Programs from Hand-Drawn Images., , , und . NeurIPS, Seite 6062-6071. (2018)Optimizing consistency for partially replicated data stores., , und . PPoPP, Seite 457-458. ACM, (2022)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)QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge., , , und . SPLASH (Companion Volume), Seite 55-56. ACM, (2017)