Prati
Kathrin Stark
Kathrin Stark
Assistant Professor, Heriot-Watt University
Potvrđena adresa e-pošte na hw.ac.uk - Početna stranica
Naslov
Citirano
Citirano
Godina
Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions
K Stark, S Schäfer, J Kaiser
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
662019
POPLMark reloaded: Mechanizing proofs by logical relations
A Abel, G Allais, A Hameer, B Pientka, A Momigliano, S Schäfer, K Stark
Journal of Functional Programming 29, e19, 2019
502019
Binder aware recursion over well-scoped de Bruijn syntax
J Kaiser, S Schäfer, K Stark
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
222018
Logic of differentiable logics: Towards a uniform semantics of dl
N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart, K Stark
arXiv preprint arXiv:2303.10650, 2023
202023
Coq à la carte: a practical approach to modular syntax with binders
Y Forster, K Stark
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
172020
Call-by-push-value in Coq: operational, equational, and denotational theory
Y Forster, S Schäfer, S Spies, K Stark
Proceedings of the 8th ACM SIGPLAN International Conference on Certified …, 2019
152019
Hereditarily finite sets in constructive type theory
G Smolka, K Stark
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016
152016
Mechanising syntax with binders in Coq
K Stark
Ph.D. Thesis, 2020
92020
Autosubst 2: Towards reasoning with multi-sorted de bruijn terms and vector substitutions
J Kaiser, S Schäfer, K Stark
Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory …, 2017
92017
Towards a Certified Proof Checker for Deep Neural Network Verification
R Desmartin, O Isac, G Passmore, K Stark, E Komendantskaya, G Katz
International Symposium on Logic-Based Program Synthesis and Transformation …, 2023
72023
Taming Differentiable Logics with Coq Formalisation
R Affeldt, A Bruni, E Komendantskaya, N Ślusarz, K Stark
arXiv preprint arXiv:2403.13700, 2024
42024
Embedding Higher-Order Abstract Syntax in Type Theory
S Schäfer, K Stark
TYPES 2018, 1, 2018
32018
A Verified Foreign Function Interface Between Coq and C
J KORKUT, K STARK, AW APPEL
12024
A Certified Proof Checker for Deep Neural Network Verification
R Desmartin, O Isac, E Komendantskaya, K Stark, G Passmore, G Katz
arXiv preprint arXiv:2405.10611, 2024
12024
Exploration of properties of differentiable logics through mechanisation
R Affeldt, A Bruni, E Komendantskaya, K Stark, N Slusarz
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–15