pith. sign in

Jacques D. Fleuriot

Identifiers

  • name variant Jacques D. Fleuriot 0.60 · backfill

Papers (9)

  1. GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning cs.LO · 2025 · author #4
  2. Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces cs.AI · 2025 · author #4
  3. Process-aware Human Activity Recognition cs.AI · 2024 · author #3
  4. MARS: A neurosymbolic approach for interpretable drug discovery cs.AI · 2024 · author #4
  5. A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL cs.LO · 2024 · author #2
  6. Neurosymbolic AI for Reasoning on Biomedical Knowledge Graphs cs.AI · 2023 · author #5
  7. Alignment-based conformance checking over probabilistic events cs.AI · 2022 · author #3
  8. Constrained Training of Neural Networks via Theorem Proving cs.AI · 2022 · author #3
  9. Interpretable Machine Learning Classifiers for Brain Tumour Survival Prediction cs.LG · 2021 · author #4

Mentions

  • 2508.04438 #4 · arxiv_oai · confidence 0.70 Jacques D. Fleuriot
  • 2501.13712 #4 · arxiv_oai · confidence 0.70 Jacques D. Fleuriot
  • 2411.08814 #3 · arxiv_oai · confidence 0.70 Jacques D. Fleuriot
  • 2407.19211 #2 · arxiv_oai · confidence 0.70 Jacques D. Fleuriot
  • 2307.08411 #5 · arxiv_oai · confidence 0.70 Jacques D. Fleuriot
  • 2209.04309 #3 · arxiv_oai · confidence 0.70 Jacques D. Fleuriot
  • 2207.03880 #3 · arxiv_oai · confidence 0.70 Jacques D. Fleuriot
  • 2106.09424 #4 · arxiv_oai · confidence 0.70 Jacques D. Fleuriot
  • 2410.05289 #4 · arxiv_oai · confidence 0.70 Jacques D. Fleuriot

Frequent Coauthors