firstbacksecondback
42 Results
|
Poster
|
Wed 14:00 |
Drawing out of Distribution with Neuro-Symbolic Generative Models Yichao Liang · Josh Tenenbaum · Tuan Anh Le · Siddharth N |
|
|
Workshop
|
Neural-Symbolic Recursive Machine for Systematic Generalization Qing Li · Yixin Zhu · Yitao Liang · Ying Nian Wu · Song-Chun Zhu · Siyuan Huang |
||
|
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
|
Thu 9:00 |
Semantic Probabilistic Layers for Neuro-Symbolic Learning Kareem Ahmed · Stefano Teso · Kai-Wei Chang · Guy Van den Broeck · Antonio Vergari |
|
|
Poster
|
Tue 14:00 |
Formalizing Consistency and Coherence of Representation Learning Harald Strömfelt · Luke Dickens · Artur Garcez · Alessandra Russo |
|
|
Poster
|
Wed 9:00 |
Neural-Symbolic Entangled Framework for Complex Query Answering Zezhong Xu · Wen Zhang · Peng Ye · Hui Chen · Huajun Chen |
|
|
Poster
|
Wed 9:00 |
VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming Eleonora Misino · Giuseppe Marra · Emanuele Sansone |
|
|
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 |
|
|
Poster
|
Thu 9:00 |
NS3: Neuro-symbolic Semantic Code Search Shushan Arakelyan · Anna Hakhverdyan · Miltiadis Allamanis · Luis Garcia · Christophe Hauser · Xiang Ren |
|
|
Poster
|
Wed 9:00 |
Discovering Design Concepts for CAD Sketches Yuezhi Yang · Hao Pan |
|
|
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 |