ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2206.06054
  4. Cited By
Specifying and Testing $k$-Safety Properties for Machine-Learning Models

Specifying and Testing kkk-Safety Properties for Machine-Learning Models

13 June 2022
M. Christakis
Hasan Ferit Eniser
Jörg Hoffmann
Adish Singla
Valentin Wüstholz
ArXiv (abs)PDFHTML

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
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
Evaluating Superhuman Models with Consistency Checks
Lukas Fluri
Daniel Paleka
Florian Tramèr
ELM
113
44
0
16 Jun 2023
1