3 citations · 7 across the 5 of their papers we have counts for
5 papers
CycliST: A Video Language Model Benchmark for Reasoning on Cyclical State Transitions
Simon Kohaut, Daniel Ochs, Shun Zhang +4
We present CycliST, a novel benchmark dataset designed to evaluate Video Language Models (VLM) on their ability for textual reasoning over cyclical state transitions. CycliST captu…
Probabilistic Mission Design for Neuro-Symbolic Unmanned Aircraft Systems
Simon Kohaut, Benedict Flade, Daniel Ochs +3
Advanced Air Mobility (AAM) is a growing field that demands accurate and trustworthy models of legal concepts and restrictions for navigating Unmanned Aircraft Systems (UAS). In ad…
Answer Set Networks: Casting Answer Set Programming into Deep Learning
Arseny Skryagin, Daniel Ochs, Phillip Deibert +4
Although Answer Set Programming (ASP) allows constraining neural-symbolic (NeSy) systems, its employment is hindered by the prohibitive costs of computing stable models and the CPU…
Scalable Neural-Probabilistic Answer Set Programming
Arseny Skryagin, Daniel Ochs, Devendra Singh Dhami +1
The goal of combining the robustness of neural networks and the expressiveness of symbolic methods has rekindled the interest in Neuro-Symbolic AI. Deep Probabilistic Programming L…
SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming
Arseny Skryagin, Wolfgang Stammer, Daniel Ochs +2
The goal of combining the robustness of neural networks and the expressivity of symbolic methods has rekindled the interest in neuro-symbolic AI. Recent advancements in neuro-symbo…