Author of the publication

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.

 

Other publications of authors with the same name

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