◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Valentin Wüstholz

17 papers hereh-index 191.3k citations37 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author4
  • middle author8
  • last author5

Across the 17 of 17 papers where every author was matched, so the position is known.

fields
  • cs.SE10
  • cs.CR3
  • cs.LG2
  • cs.PL2
same name
  • Valentin Wüstholz — 2 papers, h 2

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20142026
most citedThe Dafny Integrated Development Environment

53 citations · 85 across the 12 of their papers we have counts for

collaborators
Showing cs.LGShow all

2 papers · 1 filter

cs.LG2022

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

Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann +2

Machine-learning models are becoming increasingly prevalent in our lives, for instance assisting in image-classification or decision-making tasks. Consequently, the reliability of…

cs.LG2020★ 13 cited

RAID: Randomized Adversarial-Input Detection for Neural Networks

Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz

In recent years, neural networks have become the default choice for image classification and many other learning tasks, even though they are vulnerable to so-called adversarial att…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.