Filip Smola

According to our database, Filip Smola authored at least 6 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

2024

Linear Resources in Isabelle/HOL.

Filip Smola, Jacques D. Fleuriot

J. Autom. Reason., June, 2024

Linear Resources and Process Compositions.

Filip Smola, Jacques D. Fleuriot

Arch. Formal Proofs, 2024

Deep Embedding of Intuitionistic Linear Logic.

Filip Smola, Jacques D. Fleuriot

Arch. Formal Proofs, 2024

2021

Hyperdual Numbers and Forward Differentiation.

Filip Smola, Jacques D. Fleuriot

Arch. Formal Proofs, 2021

A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows.

Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques D. Fleuriot

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021