Search Results for author: Alisa Kovtunova

Found 3 papers, 1 papers with code

Logic-Guided Message Generation from Raw Real-Time Sensor Data

no code implementations LREC 2022 Ernie Chang, Alisa Kovtunova, Stefan Borgwardt, Vera Demberg, Kathryn Chapman, Hui-Syuan Yeh

We find that formulating the task as an end-to-end problem leads to two major challenges in content selection – the sensor data is both redundant and diverse across environments, thereby making it hard for the encoders to select and reason on the data.

Text Generation

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

no code implementations27 Apr 2021 Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

In previous work, we first restricted the attention to a setting where proof size is used to measure the quality of a proof.

Cannot find the paper you are looking for? You can Submit a new open access paper.