Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2206.06054
Cited By
Specifying and Testing
k
k
k
-Safety Properties for Machine-Learning Models
13 June 2022
M. Christakis
Hasan Ferit Eniser
Jörg Hoffmann
Adish Singla
Valentin Wüstholz
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Specifying and Testing $k$-Safety Properties for Machine-Learning Models"
2 / 2 papers shown
Title
Automatically Testing Functional Properties of Code Translation Models
Hasan Ferit Eniser
Valentin Wüstholz
M. Christakis
50
6
0
07 Sep 2023
Evaluating Superhuman Models with Consistency Checks
Lukas Fluri
Daniel Paleka
Florian Tramèr
ELM
113
44
0
16 Jun 2023
1