firstbacksecondback
14 Results
|
Poster
|
Tue 14:00 |
Formalizing Consistency and Coherence of Representation Learning Harald Strömfelt · Luke Dickens · Artur Garcez · Alessandra Russo |
|
|
Workshop
|
Image Manipulation via Neuro-Symbolic Networks Harman Singh · Poorva Garg · Mohit Gupta · Kevin Shah · Arnab Kumar Mondal · Dinesh Khandelwal · Parag Singla · Dinesh Garg |
||
|
Poster
|
Wed 14:00 |
Drawing out of Distribution with Neuro-Symbolic Generative Models Yichao Liang · Josh Tenenbaum · Tuan Anh Le · Siddharth N |
|
|
Poster
|
Wed 9:00 |
VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming Eleonora Misino · Giuseppe Marra · Emanuele Sansone |
|
|
Poster
|
Thu 14:00 |
PDSketch: Integrated Domain Programming, Learning, and Planning Jiayuan Mao · Tomás Lozano-Pérez · Josh Tenenbaum · Leslie Kaelbling |
|
|
Affinity Workshop
|
A First Step Towards An Interactive Neuro-Symbolic Framework for Identifying Latent Themes in Large Text Collections Maria Leonor Pacheco · Tunazzina Islam · Lyle Ungar · Ming Yin · Dan Goldwasser |
||
|
Workshop
|
Fri 13:30 |
Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval Graham Neubig |
|
|
Workshop
|
Learning Neuro-symbolic Programs for Language-Guided Robotic Manipulation Namasivayam Kalithasan · Himanshu Singh · Vishal Bindal · Arnav Tuli · Vishwajeet Agrawal · Rahul Jain · Parag Singla · Rohan Paul |
||
|
Workshop
|
Neuro-Symbolic Partial Differential Equation Solver Pouria Akbari Mistani · Samira Pakravan · Rajesh Ilango · Sanjay Choudhry · Frederic Gibou |
||
|
Poster
|
Thu 9:00 |
NS3: Neuro-symbolic Semantic Code Search Shushan Arakelyan · Anna Hakhverdyan · Miltiadis Allamanis · Luis Garcia · Christophe Hauser · Xiang Ren |
|
|
Poster
|
Thu 9:00 |
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers Albert Qiaochu Jiang · Wenda Li · Szymon Tworkowski · Konrad Czechowski · Tomasz Odrzygóźdź · Piotr Miłoś · Yuhuai Wu · Mateja Jamnik |
|
|
Poster
|
Wed 14:00 |
ZeroC: A Neuro-Symbolic Model for Zero-shot Concept Recognition and Acquisition at Inference Time Tailin Wu · Megan Tjandrasuwita · Zhengxuan Wu · Xuelin Yang · Kevin Liu · Rok Sosic · Jure Leskovec |