Wen Kokke

According to our database, Wen Kokke authored at least 23 papers between 2017 and 2025.

Collaborative distances:

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

2025

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs (Invited Talk).

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Ekaterina Komendantskaya, Natalia Slusarz, Luca Arnaboldi

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

A Semantic Proof of Generalised Cut Elimination for Deep Inference.

Robert Atkey, Wen Kokke

CoRR, 2024

Efficient compilation of expressive problem space specifications to neural network solvers.

Matthew L. Daggitt, Wen Kokke, Robert Atkey

CoRR, 2024

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs.

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Natalia Slusarz, Luca Arnaboldi, Ekaterina Komendantskaya

CoRR, 2024

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.

Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Prioritise the Best Variation.

Wen Kokke, Ornela Dardha

Log. Methods Comput. Sci., 2023

Separating Sessions Smoothly.

Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris

Log. Methods Comput. Sci., 2023

Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively.

Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

The Vehicle Tutorial: Neural Network Verification with Vehicle.

Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, 2023

2022

Why Robust Natural Language Understanding is a Challenge.

Marco Casadio, Ekaterina Komendantskaya, Verena Rieser, Matthew L. Daggitt, Daniel Kienitz, Luca Arnaboldi, Wen Kokke

CoRR, 2022

Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers.

Matthew L. Daggitt, Wen Kokke, Robert Atkey, Luca Arnaboldi, Ekaterina Komendantskaya

CoRR, 2022

Neural Network Robustness as a Verification Property: A Principled Case Study.

Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Property-driven Training: All You (N)Ever Wanted to Know About.

Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart

CoRR, 2021

Deadlock-free session types in linear Haskell.

Wen Kokke, Ornela Dardha

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

2020

Programming language foundations in Agda.

Wen Kokke, Jeremy G. Siek, Philip Wadler

Sci. Comput. Program., 2020

Featherweight go.

Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida

Proc. ACM Program. Lang., 2020

Towards Races in Linear Logic.

Wen Kokke, J. Garrett Morris, Philip Wadler

Log. Methods Comput. Sci., 2020

Continuous Verification of Machine Learning: a Declarative Programming Approach.

Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

Neural Networks, Secure by Construction - An Exploration of Refinement Types.

Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Better late than never: a fully-abstract semantics for classical processes.

Wen Kokke, Fabrizio Montesi, Marco Peressotti

Proc. ACM Program. Lang., 2019

Rusty Variation: Deadlock-free Sessions with Failure in Rust.

Wen Kokke

Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

2018

Taking Linear Logic Apart.

Wen Kokke, Fabrizio Montesi, Marco Peressotti

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

2017

Formalising Type-Logical Grammars in Agda.

Wen Kokke

CoRR, 2017