Samuel Teuber

Identifiers

• name variant Samuel Teuber 0.60 · backfill

Papers (3)

1. Encrypted Neural Networks without Overflows cs.CR · 2026 · author #3
2. Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice cs.PL · 2026 · author #5
3. Heterogeneous Dynamic Logic: Provability Modulo Program Theories cs.LO · 2025 · author #1

Mentions

• 2605.23096 #3 · arxiv_oai · confidence 0.70 Samuel Teuber

Frequent Coauthors

• Alberto Leporati 1 shared papers
• Alessandro Bruni 1 shared papers
• Alistair Sirman 1 shared papers
• Andr\'e Platzer 1 shared papers
• Bernhard Beckert 1 shared papers
• Carsten Sinz 1 shared papers
• Edoardo Manino 1 shared papers
• Ekaterina Komendantskaya 1 shared papers
• Grant Passmore 1 shared papers
• Josh Smart 1 shared papers
• Lorenzo Rovida 1 shared papers
• Matthew L. Daggitt 1 shared papers
• Mattias Ulbrich 1 shared papers
• Philipp Kern 1 shared papers