16 citations · 63 across the 39 of their papers we have counts for
5 papers · 1 filter
Learning Tree Pattern Transformations
Daniel Neider, Leif Sabellek, Johannes Schmidt +2
Explaining why and how a tree structurally differs from another tree is a question that is encountered throughout computer science, including in understanding tree-st…
The Complexity of Learning Temporal Properties
Benjamin Bordais, Daniel Neider, Rajarshi Roy
We consider the problem of learning temporal logic formulas from examples of system behavior. Learning temporal properties has crystallized as an effective mean to explain complex…
Learning Branching-Time Properties in CTL and ATL via Constraint Solving
Benjamin Bordais, Daniel Neider, Rajarshi Roy
We address the problem of learning temporal properties from the branching-time behavior of systems. Existing research in this field has mostly focused on learning linear temporal p…
VeriFlow: Modeling Distributions for Neural Network Verification
Faried Abu Zaid, Daniel Neider, Mustafa Yalçıner
Formal verification has emerged as a promising method to ensure the safety and reliability of neural networks. However, many relevant properties, such as fairness or global robustn…
Using Large Language Models to Automate and Expedite Reinforcement Learning with Reward Machine
Shayan Meshkat Alsadat, Jean-Raphael Gaglione, Daniel Neider +2
We present LARL-RM (Large language model-generated Automaton for Reinforcement Learning with Reward Machine) algorithm in order to encode high-level knowledge into reinforcement le…