Mark Chevallier

According to our database, Mark Chevallier authored at least 4 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces.

Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot

CoRR, January, 2025

GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning.

Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot

Proceedings of the 32nd International Symposium on Temporal Representation and Reasoning, 2025

2022

Constrained Training of Neural Networks via Theorem Proving.

Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

2021

Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL.

Mark Chevallier, Jacques D. Fleuriot

CoRR, 2021