activity
20232026
most citedIdentifying Minimal Changes in the Zone Abstract Domain

2 citations · 3 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.LO2024

muRelBench: MicroBenchmarks for Zonotope Domains

Kenny Ballou, Elena Sherman

We present \texttt{muRelBench}, a framework for synthetic benchmarks for weakly-relational abstract domains and their operations. This extensible microbenchmarking framework enable…

cs.CL2024

Confidence Preservation Property in Knowledge Distillation Abstractions

Dmitry Vengertsev, Elena Sherman

Social media platforms prevent malicious activities by detecting harmful content of posts and comments. To that end, they employ large-scale deep neural network language models for…