Picture for Niklas Metzger

Niklas Metzger

Monitoring Second-Order Hyperproperties

Add code
Apr 15, 2024
Viaarxiv icon

Formal Specifications from Natural Language

Add code
Jun 04, 2022
Figure 1 for Formal Specifications from Natural Language
Figure 2 for Formal Specifications from Natural Language
Figure 3 for Formal Specifications from Natural Language
Viaarxiv icon

Attention Flows for General Transformers

Add code
May 30, 2022
Figure 1 for Attention Flows for General Transformers
Figure 2 for Attention Flows for General Transformers
Figure 3 for Attention Flows for General Transformers
Figure 4 for Attention Flows for General Transformers
Viaarxiv icon