← Search

Michael Witbrock

14 accepted papers

2025

Exploring Iterative Enhancement for Improving Learnersourced Multiple-Choice Question Explanations with Large Language Models

AAAI 2025technical

Large language models (LLMs) have demonstrated strong capabilities in language understanding and generation, and their potential in educational contexts is increasingly being explored. One promising area is learnersourcing, where students engage in creating their own educational content, such as mul…

2024

Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning

ACL 2024findings

Combining large language models with logical reasoning enhances their capacity to address problems in a robust and reliable manner. Nevertheless, the intricate nature of logical reasoning poses challenges when gathering reliable data from the web to build comprehensive training datasets, subsequentl…

2024

Can Large Language Models Learn Independent Causal Mechanisms?

EMNLP 2024main

Despite impressive performance on language modelling and complex reasoning tasks, Large Language Models (LLMs) fall short on the same tasks in uncommon settings or with distribution shifts, exhibiting a lack of generalisation ability. By contrast, systems such as causal models, that learn abstract v…

2024

Large Language Models Are Not Strong Abstract Reasoners

IJCAI 2024poster

Large Language Models have shown tremendous performance on a large variety of natural language processing tasks, ranging from text comprehension to common sense reasoning. However, the mechanisms responsible for this success remain opaque, and it is unclear whether LLMs can achieve human-like cogn…

2024

Meta-Inverse Reinforcement Learning for Mean Field Games via Probabilistic Context Variables

AAAI 2024technical

Designing suitable reward functions for numerous interacting intelligent agents is challenging in real-world applications. Inverse reinforcement learning (IRL) in mean field games (MFGs) offers a practical framework to infer reward functions from expert demonstrations. While promising, the assumptio…

Cited by 1SourcePDFScholar
2024

Robust Node Classification on Graph Data with Graph and Label Noise

AAAI 2024technical

Current research for node classification focuses on dealing with either graph noise or label noise, but few studies consider both of them. In this paper, we propose a new robust node classification method to simultaneously deal with graph noise and label noise. To do this, we design a graph contrast…

2023

Disentanglement of Latent Representations via Causal Interventions

IJCAI 2023poster

The process of generating data such as images is controlled by independent and unknown factors of variation. The retrieval of these variables has been studied extensively in the disentanglement, causal representation learning, and independent component analysis fields. Recently, approaches merging t…

2022

AbductionRules: Training Transformers to Explain Unexpected Inputs

ACL 2022findings

Transformers have recently been shown to be capable of reliably performing logical reasoning over facts and rules expressed in natural language, but abductive reasoning - inference to the best explanation of an unexpected observation - has been underexplored despite significant applications to scien…

2022

Interpretable AMR-Based Question Decomposition for Multi-hop Question Answering

IJCAI 2022poster

Effective multi-hop question answering (QA) requires reasoning over multiple scattered paragraphs and providing explanations for answers. Most existing approaches cannot provide an interpretable reasoning process to illustrate how these models arrive at an answer. In this paper, we propose a Questio…

Cited by 27SourcePDFScholar
2022

Prompt-based Conservation Learning for Multi-hop Question Answering

COLING 2022main

Multi-hop question answering (QA) requires reasoning over multiple documents to answer a complex question and provide interpretable supporting evidence. However, providing supporting evidence is not enough to demonstrate that a model has performed the desired reasoning to reach the correct answer. M…

Cited by 4SourcePDFScholar
2021

A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving

AAAI 2021technical

Automated theorem provers have traditionally relied on manually tuned heuristics to guide how they perform proof search. Deep reinforcement learning has been proposed as a way to obviate the need for such heuristics, however, its deployment in automated theorem proving remains a challenge. In this p…

2018

Image Super-Resolution via Dual-State Recurrent Networks

CVPR 2018poster

Advances in image super-resolution (SR) have recently benefited significantly from rapid developments in deep neural networks. Inspired by these recent discoveries, we note that many state-of-the-art deep SR architectures can be reformulated as a single-state recurrent neural network (RNN) with fini…

2018

Random Warping Series: A Random Features Method for Time-Series Embedding

AISTATS 2018poster

Time series data analytics has been a problem of substantial interests for decades, and Dynamic Time Warping (DTW) has been the most widely adopted technique to measure dissimilarity between time series. A number of global-alignment kernels have since been proposed in the spirit of DTW to extend its…