Kathrin Stark

According to our database, Kathrin Stark authored at least 11 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Certified Proof Checker for Deep Neural Network Verification.

Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant O. Passmore, Guy Katz

CoRR, 2024

Taming Differentiable Logics with Coq Formalisation.

Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023

Logic of Differentiable Logics: Towards a Uniform Semantics of DL.

Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart, Kathrin Stark

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Towards a Certified Proof Checker for Deep Neural Network Verification.

Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2020

Mechanising syntax with binders in Coq.

Kathrin Stark

PhD thesis, 2020

Coq à la carte: a practical approach to modular syntax with binders.

Yannick Forster, Kathrin Stark

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

POPLMark reloaded: Mechanizing proofs by logical relations.

Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark

J. Funct. Program., 2019

Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions.

Kathrin Stark, Steven Schäfer, Jonas Kaiser

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

Call-by-push-value in coq: operational, equational, and denotational theory.

Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018

Binder aware recursion over well-scoped de Bruijn syntax.

Jonas Kaiser, Steven Schäfer, Kathrin Stark

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2016

Hereditarily Finite Sets in Constructive Type Theory.

Gert Smolka, Kathrin Stark

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016