Richard Schmoetten

Identifiers

• name variant Richard Schmoetten 0.60 · backfill

Papers (3)

1. GradSTL: Comprehensive Signal Temporal Logic for Neurosymbolic Reasoning and Learning cs.LO · 2025 · author #3
2. Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces cs.AI · 2025 · author #3
3. A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL cs.LO · 2024 · author #1

Mentions

• 2508.04438 #3 · arxiv_oai · confidence 0.70 Richard Schmoetten
• 2501.13712 #3 · arxiv_oai · confidence 0.70 Richard Schmoetten
• 2407.19211 #1 · arxiv_oai · confidence 0.70 Richard Schmoetten

Frequent Coauthors

• Jacques D. Fleuriot 3 shared papers
• Filip Smola 2 shared papers
• Mark Chevallier 2 shared papers