Author of the publication

Fusion 360 gallery: a dataset and environment for programmatic CAD construction from human design sequences.

, , , , , , , and . ACM Trans. Graph., 40 (4): 54:1-54:24 (2021)

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)Verifiably safe exploration for end-to-end reinforcement learning., , , , , and . HSCC, page 14:1-14:11. ACM, (2021)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)Learning Libraries of Subroutines for Neurally-Guided Bayesian Program Induction., , , , and . NeurIPS, page 7816-7826. (2018)Optimizing consistency for partially replicated data stores., , and . PPoPP, page 457-458. ACM, (2022)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)QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge., , , and . SPLASH (Companion Volume), page 55-56. ACM, (2017)Euler: A System for Numerical Optimization of Programs., and . CAV, volume 7358 of Lecture Notes in Computer Science, page 732-737. Springer, (2012)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)