pith. sign in

Wen Kokke

Identifiers

  • name variant Wen Kokke 0.60 · backfill

Papers (13)

  1. A Semantic Proof of Generalised Cut Elimination for Deep Inference cs.LO · 2024 · author #2
  2. Marabou 2.0: A Versatile Formal Analyzer of Neural Networks cs.AI · 2024 · author #6
  3. Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs cs.AI · 2024 · author #2
  4. Why Robust Natural Language Understanding is a Challenge cs.CL · 2022 · author #7
  5. Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers cs.LG · 2022 · author #2
  6. Separating Sessions Smoothly cs.PL · 2021 · author #2
  7. Neural Network Robustness as a Verification Property: A Principled Case Study cs.LG · 2021 · author #4
  8. Deadlock-Free Session Types in Linear Haskell cs.PL · 2021 · author #1
  9. Prioritise the Best Variation cs.PL · 2021 · author #1
  10. Featherweight Go cs.PL · 2020 · author #3
  11. Towards Races in Linear Logic cs.LO · 2019 · author #1
  12. Better Late Than Never: A Fully Abstract Semantics for Classical Processes cs.LO · 2018 · author #1
  13. Formalising Type-Logical Grammars in Agda cs.LO · 2017 · author #1

Mentions

  • 2401.06379 #2 · arxiv_oai · confidence 0.70 Wen Kokke
  • 2404.06233 #2 · arxiv_oai · confidence 0.70 Wen Kokke
  • 2401.14461 #6 · arxiv_oai · confidence 0.70 Wen Kokke
  • 2105.08996 #2 · arxiv_oai · confidence 0.70 Wen Kokke
  • 2103.14466 #1 · arxiv_oai · confidence 0.70 Wen Kokke
  • 1909.13376 #1 · arxiv_oai · confidence 0.70 Wen Kokke
  • 2206.14575 #7 · arxiv_oai · confidence 0.70 Wen Kokke
  • 2104.01396 #4 · arxiv_oai · confidence 0.70 Wen Kokke
  • 2202.05207 #2 · arxiv_oai · confidence 0.70 Wen Kokke
  • 2103.14481 #1 · arxiv_oai · confidence 0.70 Wen Kokke
  • 2005.11710 #3 · arxiv_oai · confidence 0.70 Wen Kokke
  • 1811.02209 #1 · arxiv_oai · confidence 0.70 Wen Kokke
  • 1709.00728 #1 · arxiv_oai · confidence 0.70 Wen Kokke

Frequent Coauthors