PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Chaudhuri, Swarat"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
HOUDINI: Lifelong Learning as Program Synthesis.

, , , , und . NeurIPS, Seite 8701-8712. (2018)

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.

Keine Personen gefunden für den Autorennamen Chaudhuri, Swarat
Eine Person hinzufügen mit dem Namen Chaudhuri, Swarat
 

Weitere Publikationen von Autoren mit dem selben Namen

Robustness Analysis of String Transducers., , und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 427-441. Springer, (2013)Optimal Guard Synthesis for Memory Safety., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 491-507. Springer, (2014)Euler: A System for Numerical Optimization of Programs., und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 732-737. Springer, (2012)Automata vs Linear-Programming Discounted-Sum Inclusion., , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 99-116. Springer, (2018)Finding Likely Errors with Bayesian Specifications., , und . CoRR, (2017)AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation., , , , , und . IEEE Symposium on Security and Privacy, Seite 3-18. IEEE Computer Society, (2018)Programmatically Interpretable Reinforcement Learning., , , , und . ICML, Volume 80 von Proceedings of Machine Learning Research, Seite 5052-5061. PMLR, (2018)Control Regularization for Reduced Variance Reinforcement Learning., , , , , und . ICML, Volume 97 von Proceedings of Machine Learning Research, Seite 1141-1150. PMLR, (2019)Isolation for nested task parallelism., , , , und . OOPSLA, Seite 571-588. ACM, (2013)Synthesizing data structure transformations from input-output examples., , und . PLDI, Seite 229-239. ACM, (2015)