Skip to yearly menu bar Skip to main content


Workshop

Knowledge and Logical Reasoning in the Era of Data-driven Learning

Nezihe Merve Gürel ⋅ Bo Li ⋅ Theodoros Rekatsinas ⋅ Beliz Gunel ⋅ Alberto Sngiovanni Vincentelli ⋅ Paroma Varma
Project Page

Abstract

Video

Chat is not available.

Schedule

Timezone: Asia/Seoul
4:00 AM
Opening Remarks
Nezihe Merve Gürel
5:30 AM
Reasoning Biases in Language Models
Ishita Dasgupta
6:15 AM
Neural Priority Queues for GNNs
Petar Veličković
7:15 AM
Lunch Break
10:15 AM
Panel on Reasoning Capabilities of LLMs
Guy Van den Broeck ⋅ Ishita Dasgupta ⋅ Subbarao Kambhampati ⋅ Jiajun Wu ⋅ Xi Victoria Lin ⋅ Samy Bengio ⋅ Beliz Gunel
11:15 AM
Poster Session 2
11:55 AM
Closing Remarks
SQA3D: Situated Question Answering in 3D Scenes
Xiaojian Ma ⋅ Silong Yong ⋅ Zilong Zheng ⋅ Qing Li ⋅ Yitao Liang ⋅ Song-Chun Zhu ⋅ Siyuan Huang
Retrieval-Augmented Multimodal Language Modeling
Michihiro Yasunaga ⋅ Armen Aghajanyan ⋅ Weijia Shi ⋅ Rich James ⋅ Jure Leskovec ⋅ Percy Liang ⋅ Mike Lewis ⋅ Luke Zettlemoyer ⋅ Wen-tau Yih
On the Aggregation of Rules for Knowledge Graph Completion
Patrick Betz ⋅ Stefan Lüdtke ⋅ Christian Meilicke ⋅ Heiner Stuckenschmidt
Large Language Model Programs
Imanol Schlag ⋅ Sainbayar Sukhbaatar ⋅ Asli Celikyilmaz ⋅ Wen-tau Yih ⋅ Jason Weston ⋅ Jürgen Schmidhuber ⋅ Xian Li
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang ⋅ Aidan Swope ⋅ Alexander Gu ⋅ Rahul Chalamala ⋅ Shixing Yu ⋅ Saad Godil ⋅ Ryan Prenger ⋅ Animashree Anandkumar
Towards true discovery of the differential equations
Alexander Hvatov ⋅ Roman Titov
VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming
Eleonora Misino ⋅ Giuseppe Marra ⋅ Emanuele Sansone
Explanatory Learning: Towards Artificial Scientific Discovery
Antonio Norelli ⋅ Giorgio Mariani ⋅ Luca Moschella ⋅ Andrea Santilli ⋅ Giambattista Parascandolo ⋅ Simone Melzi ⋅ Emanuele Rodola
A*Net: A Scalable Path-based Reasoning Approach for Knowledge Graphs
Zhaocheng Zhu ⋅ Xinyu Yuan ⋅ Mikhail Galkin ⋅ Louis-Pascal Xhonneux ⋅ Ming Zhang ⋅ Maxime Gazeau ⋅ Jian Tang
Neuro-Symbolic Continual Learning: Knowledge, Reasoning Shortcuts and Concept Rehearsal
Emanuele Marconato ⋅ Gianpaolo Bontempo ⋅ ELISA FICARRA ⋅ Simone Calderara ⋅ Andrea Passerini ⋅ Stefano Teso
DiversiGATE: A Comprehensive Framework for Reliable Large Language Models
Shima Imani ⋅ Ali Beyram ⋅ Harsh Shrivastava
OC-NMN: Object-centric Compositional Neural Module Network for Generative Visual Analogical Reasoning
Rim Assouel ⋅ Pau Rodriguez ⋅ Perouz Taslakian ⋅ David Vazquez ⋅ Yoshua Bengio
Look, Remember and Reason: Visual Reasoning with Grounded Rationales
Apratim Bhattacharyya ⋅ Sunny Panchal ⋅ Reza Pourreza ⋅ Pulkit Madan ⋅ Mingu Lee ⋅ Roland Memisevic
Describe, Explain, Plan and Select: Interactive Planning with LLMs Enables Open-World Multi-Task Agents
Zihao Wang ⋅ Shaofei Cai ⋅ Guanzhou Chen ⋅ Anji Liu ⋅ Xiaojian Ma ⋅ Yitao Liang
Recursive Algorithmic Reasoning
Dulhan Jayalath ⋅ Jonas Jürß ⋅ Petar Veličković
EXPLAIN, AGREE and LEARN: A Recipe for Scalable Neural-Symbolic Learning
Victor Verreet ⋅ Lennert De Smet ⋅ Emanuele Sansone
Continuous-Discrete Message Passing for Graph Logic Reasoning
Cristóbal Corvalán Morbiducci ⋅ Francesco Alesiani ⋅ Markus Zopf
Testing the General Deductive Reasoning Capacity of Large Language Models Using OOD Examples
Abulhair Saparov ⋅ Richard Yuanzhe Pang ⋅ Vishakh Padmakumar ⋅ Nitish Joshi ⋅ Seyed Mehran Kazemi ⋅ Najoung Kim ⋅ He He
Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs
Lauren Nicole DeLong ⋅ Ramon Fernández Mir ⋅ Zonglin Ji ⋅ Fiona Niamh Coulter Smith ⋅ Jacques D. Fleuriot
Neural Priority Queues for GNNs
Rishabh Jain ⋅ Petar Veličković ⋅ Pietro Lió
Exposing Attention Glitches with Flip-Flop Language Modeling
Bingbin Liu ⋅ Jordan Ash ⋅ Surbhi Goel ⋅ Akshay Krishnamurthy ⋅ Cyril Zhang
Does End-to-End Visual Pretraining Help Reasoning?
Chen Sun ⋅ Calvin Luo ⋅ Xingyi Zhou ⋅ Anurag Arnab ⋅ Cordelia Schmid
On the Planning Abilities of Large Language Models - A Critical Investigation
Karthik Valmeekam ⋅ Matthew Marquez ⋅ Sarath Sreedharan ⋅ Subbarao Kambhampati
Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Planning
Lin Guan ⋅ Karthik Valmeekam ⋅ Sarath Sreedharan ⋅ Subbarao Kambhampati
On The Ability of Transformers To Learn Recursive Patterns
Dylan Zhang ⋅ Curt Tigges ⋅ Talia Ringer ⋅ Stella Biderman ⋅ Maxim Raginsky
Plan, Eliminate, and Track --- Language Models are Good Teachers for Embodied Agents.
Yue Wu ⋅ So Yeon Min ⋅ Yonatan Bisk ⋅ Ruslan Salakhutdinov ⋅ Amos Azaria ⋅ Yuanzhi Li ⋅ Tom Mitchell ⋅ Shrimai Prabhumoye
SPRING: Studying Papers and Reasoning to play Games
Yue Wu ⋅ Shrimai Prabhumoye ⋅ So Yeon Min ⋅ Yonatan Bisk ⋅ Ruslan Salakhutdinov ⋅ Amos Azaria ⋅ Tom Mitchell ⋅ Yuanzhi Li
Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts
Emanuele Marconato ⋅ Stefano Teso ⋅ Antonio Vergari ⋅ Andrea Passerini
Parallel Algorithms Align with Neural Execution
Valerie Engelmayer ⋅ Dobrik Georgiev ⋅ Petar Veličković
Latent Space Representations of Neural Algorithmic Reasoners
Vladimir V. Mirjanić ⋅ Razvan Pascanu ⋅ Petar Veličković
Addressing Descrepancies in Semantic and Visual Alignment in Neural Networks
Natalie Abreu ⋅ Nathan Vaska ⋅ Victoria Helus
Towards More Likely Models for AI Planning
Turgay Caglar ⋅ sirine belhaj ⋅ Tathagata Chakraborti ⋅ Michael Katz ⋅ Sarath Sreedharan
A Pseudo-Semantic Loss for Deep Generative Models with Logical Constraints
Kareem Ahmed ⋅ Kai-Wei Chang ⋅ Guy Van den Broeck
Asynchronous Algorithmic Alignment with Cocycles
Andrew Dudzik ⋅ Tamara von Glehn ⋅ Razvan Pascanu ⋅ Petar Veličković
Learning with Explanation Constraints
Rattana Pukdee ⋅ Dylan Sam ⋅ Nina Balcan ⋅ Pradeep Ravikumar
BoardgameQA: Natural Language Reasoning with Contradictory Information
Mehran Kazemi ⋅ Quan Yuan ⋅ Deepti Bhatia ⋅ Najoung Kim ⋅ Xin Xu ⋅ Vaiva Imbrasaite ⋅ Deepak Ramachandran
Invalid Logic, Equivalent Gains: The Bizarreness of Reasoning in Language Model Prompting
Rylan Schaeffer ⋅ Kateryna Pistunova ⋅ Samar Khanna ⋅ Sarthak Consul ⋅ Sanmi Koyejo
(Un)interpretability of Transformers: a case study with Dyck grammars
Kaiyue Wen ⋅ Yuchen Li ⋅ Bingbin Liu ⋅ Andrej Risteski
dPASP: A Comprehensive Differentiable Probabilistic Answer Set Programming Environment For Neurosymbolic Learning and Reasoning
Renato Geh ⋅ Jonas Goncalves ⋅ Igor Silveira ⋅ Denis D Maua ⋅ Fabio Cozman
Building One-class Detector for Anything: Open-vocabulary Zero-shot OOD Detection Using Text-image Models
Yunhao Ge ⋅ Jie Ren ⋅ Jiaping Zhao ⋅ Kaifeng Chen ⋅ Andrew Gallagher ⋅ Laurent Itti ⋅ Balaji Lakshminarayanan
Bayesian Neural Networks with Domain Knowledge
Dylan Sam ⋅ Rattana Pukdee ⋅ Daniel Jeong ⋅ Yewon Byun ⋅ Zico Kolter
Chain of Thought Empowers Transformers to Solve Inherently Serial Problems
Zhiyuan Li ⋅ Hong Liu ⋅ Denny Zhou ⋅ Tengyu Ma
Open Visual Knowledge Extraction via Relation-Oriented Multimodality Model Prompting
Hejie Cui ⋅ Xinyu Fang ⋅ Zihan Zhang ⋅ Ran Xu ⋅ Xuan Kan ⋅ Xin Liu ⋅ Manling Li ⋅ Yangqiu Song ⋅ Carl Yang
Towards A Unified Neural Architecture for Visual Recognition and Reasoning
Calvin Luo ⋅ Boqing Gong ⋅ Ting Chen ⋅ Chen Sun
Large Language Models are Zero-Shot Multi-Tool Users
Luca Beurer-Kellner ⋅ Marc Fischer ⋅ Martin Vechev
The Role of Semantic Parsing in Understanding Procedural Text
Hossein Rajaby Faghihi ⋅ Parisa Kordjamshidi ⋅ Choh Man Teng ⋅ James Allen
Partial Label Learning meets Active Learning: Enhancing Annotation Efficiency through Binary Questioning
Shivangana Rawat ⋅ Chaitanya Devaguptapu ⋅ Vineeth Balasubramanian
Learning to Initiate and Reason in Event-Driven Cascading Processes
Yuval Atzmon ⋅ Eli Meirom ⋅ Shie Mannor ⋅ Gal Chechik
LLM-grounded Text-to-Image Diffusion Models
Long (Tony) Lian ⋅ Boyi Li ⋅ Adam Yala ⋅ Trevor Darrell
Language Models Can Improve Event Prediction by Few-Shot Abductive Reasoning
Xiaoming Shi ⋅ Siqiao Xue ⋅ Kangrui Wang ⋅ Fan Zhou ⋅ James Zhang ⋅ Jun Zhou ⋅ Chenhao Tan ⋅ Hongyuan Mei
Deep Neuro-Symbolic Weight Learning in Neural Probabilistic Soft Logic
Connor Pryor ⋅ Charles Dickens ⋅ Lise Getoor
Revealing the Intrinsic Ability of Generative Language Models in Relation Prediction
Qi Li ⋅ Lyuwen Wu ⋅ Luoyi Fu ⋅ Xinbing Wang ⋅ SHIYU LIANG
Explicit Planning Helps Language Models in Logical Reasoning
Hongyu Zhao ⋅ Kangrui Wang ⋅ Mo Yu ⋅ Hongyuan Mei