13 citations · 13 across the 3 of their papers we have counts for
3 papers
cs.CR2026
The Best-Laid SCHEMEs: Coordinated Sabotage and Monitoring in Multi-Agent Systems
Nikolay Radev, Lennart Haas, Benjamin Arnav +1
As agentic coding systems decompose work across multiple model instances, a critical safety question is whether those instances can coordinate to achieve a hidden malicious objecti…
math.AG2021
Young Flattenings in the Schur module basis
Lennart J. Haas, Christian Ikenmeyer
There are several isomorphic constructions for the irreducible polynomial representations of the general linear group in characteristic zero. The two most well-known versions are c…
cs.FL2020★ 13 cited
Canonical Representations of k-Safety Hyperproperties
Bernd Finkbeiner, Lennart Haas, Hazem Torfah
Hyperproperties elevate the traditional view of trace properties form sets of traces to sets of sets of traces and provide a formalism for expressing information-flow policies. For…