firstbacksecondback
5 Results
Tutorial
|
Mon 8:00 |
Neurosymbolic Programming Swarat Chaudhuri · Jennifer J Sun · Armando Solar-Lezama |
|
Tutorial
|
Mon 8:00 |
Neurosymbolic Programming Swarat Chaudhuri · Jennifer J Sun · Armando Solar-Lezama |
|
Poster
|
Tue 9:00 |
Don't Pour Cereal into Coffee: Differentiable Temporal Logic for Temporal Action Segmentation Ziwei Xu · Yogesh Rawat · Yongkang Wong · Mohan Kankanhalli · Mubarak Shah |
|
Poster
|
Wed 14:00 |
Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints Halley Young · Maxwell Du · Osbert Bastani |
|
Workshop
|
Neurosymbolic Programming for Science Jennifer J Sun · Megan Tjandrasuwita · Atharva Sehgal · Armando Solar-Lezama · Swarat Chaudhuri · Yisong Yue · Omar Costilla Reyes |