Search Results for author:
Found 3 papers, 1 papers with code
Monitoring Second-Order Hyperproperties
For the parallel model, we show that the monitoring of the second-order hyperproperties of Hyper$^2$LTL$_f$ can be reduced to monitoring first-order hyperproperties.
Formal Specifications from Natural Language
We study the generalization abilities of language models when translating natural language into formal specifications with complex semantics.
Attention Flows for General Transformers
In this paper, we study the computation of how much an input token in a Transformer model influences its prediction.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
