1 citations · 1 across the 5 of their papers we have counts for
5 papers
GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning
Mark Chevallier, Filip Smola, Richard Schmoetten +1
We present GradSTL, the first fully comprehensive implementation of signal temporal logic (STL) suitable for integration with neurosymbolic learning. In particular, GradSTL can suc…
A Personalised Formal Verification Framework for Monitoring Activities of Daily Living of Older Adults Living Independently in Their Homes
Ricardo Contreras, Filip Smola, Nuša Farič +3
There is an imperative need to provide quality of life to a growing population of older adults living independently. Personalised solutions that focus on the person and take into c…
Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
Mark Chevallier, Filip Smola, Richard Schmoetten +1
We present a novel formalisation of tensor semantics for linear temporal logic on finite traces (LTLf), with formal proofs of correctness carried out in the theorem prover Isabelle…
MARS: A neurosymbolic approach for interpretable drug discovery
Lauren Nicole DeLong, Yojana Gadiya, Paola Galdi +2
Background: Neurosymbolic (NeSy) artificial intelligence describes the combination of logic or rule-based techniques with neural networks. Compared to neural approaches, NeSy metho…
A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
Richard Schmoetten, Jacques D. Fleuriot
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that…