1 citations · 1 across the 1 of their papers we have counts for
4 papers
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 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…
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…
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…