From post

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.

 

Другие публикации лиц с тем же именем

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