← Search

Krysia Broda

3 accepted papers

2023

Hierarchies of Reward Machines

ICML 2023oral

Reward machines (RMs) are a recent formalism for representing the reward function of a reinforcement learning task through a finite-state machine whose edges encode subgoals of the task using high-level events. The structure of RMs enables the decomposition of a task into simpler and independently s…

2022

Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data

IJCAI 2022poster

In the past decade, several systems for learning Answer Set Programs (ASP) have been proposed, including the recent FastLAS system. Compared to other state-of-the-art approaches to learning ASP, FastLAS is more scalable, as rather than computing the hypothesis space in full, it computes a much small…