4:51Demo: Interactive Program Synthesis by Augmented Examples (UIST 2020)Tianyi Zhang160 viewsView & Download
3:52Interactive Exploration and Refinement of Facial Expression using Manifold Learning (UIST 2020)dynamic graphics project77 viewsView & Download
49:35SYNT 2020: Neuro-Symbolic Program Synthesis from Natural Language and DemonstrationsConference on Computer-Aided Verification1.4K viewsView & Download
4:18UIST 2014 Technical Program PreviewAssociation for Computing Machinery (ACM)5.5K viewsView & Download
1:0619 June 0840 Reconciling Enumerative and Deductive Program SynthesisACM SIGPLAN56 viewsView & Download