Wen Kokke

Separating Sessions Smoothly

2021 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

<p>This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and strong normalisation. HGV exploits hyper-environments, which are collections of type environments, …

Artifact for Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

2024 · arXiv (Cornell University)

This paper serves as a comprehensive system description of version 2.0 of the Marabou framework for formal analysis of neural networks. We discuss the tool's architectural design and highlight the major features and components introduced …

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

2024 · Lecture notes in computer science

Abstract This paper serves as a comprehensive system description of version 2.0 of the Marabou framework for formal analysis of neural networks. We discuss the tool’s architectural design and highlight the major features and components …