Kathrin Stark

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Sound And Complete Axiomatization

Proof Theoretic

Valued Semantics

Top Venues

J. Funct. Program.

Publications

Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz
A Certified Proof Checker for Deep Neural Network Verification. CoRR (2024)
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark
Taming Differentiable Logics with Coq Formalisation. CoRR (2024)
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz
Towards a Certified Proof Checker for Deep Neural Network Verification. LOPSTR (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. LPAR (2023)
Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Guy Katz, Ekaterina Komendantskaya
Towards a Certified Proof Checker for Deep Neural Network Verification. CoRR (2023)
Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark
Logic of Differentiable Logics: Towards a Uniform Semantics of DL. CoRR (2023)
Yannick Forster, Kathrin Stark
Coq à la carte: a practical approach to modular syntax with binders. CPP (2020)
Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark
POPLMark reloaded: Mechanizing proofs by logical relations. J. Funct. Program. 29 (2019)
Kathrin Stark, Steven Schäfer, Jonas Kaiser
Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions. CPP (2019)
Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark
Call-by-push-value in coq: operational, equational, and denotational theory. CPP (2019)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
Binder aware recursion over well-scoped de Bruijn syntax. CPP (2018)
Gert Smolka, Kathrin Stark
Hereditarily Finite Sets in Constructive Type Theory. ITP (2016)