arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Anindya Banerjee"" — arXiv2 Search
Showing 21–29 of 29 results
/ Date
/ Name
Sep 22, 2017
Subjective Simulation as a Notion of Morphism for Composing Concurrent Resources
Mar 25, 2023
The WhyRel Prototype for Relational Verification
Sep 5, 2025
Forall-Exists Relational Verification by Filtering to Forall-Forall
Jun 21, 2023
Non-Perturbative Explorations of Chiral Rings in 4d $\mathcal{N}=2$ SCFTs
Nov 1, 2019
A Formal Proof of PAC Learnability for Decision Stumps
Nov 7, 2017
A Semantics for Probabilistic Control-Flow Graphs
Sep 20, 2013
A Simple Semantics and Static Analysis for Stack Inspection
Nov 28, 2016
Relational Logic with Framing and Hypotheses: Technical Report
Jul 14, 2020
Verification of ML Systems via Reparameterization
← Previous