1 citations · 1 across the 1 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026★ 1 cited
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…
cs.AI2025
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…