53 citations · 85 across the 12 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019★ 6 cited
Perfectly Parallel Fairness Certification of Neural Networks
Caterina Urban, Maria Christakis, Valentin Wüstholz +1
Recently, there is growing concern that machine-learning models, which currently assist or even automate decision making, reproduce, and in the worst case reinforce, bias of the tr…
cs.PL2014★ 53 cited
The Dafny Integrated Development Environment
K. Rustan M. Leino, Valentin Wüstholz
In recent years, program verifiers and interactive theorem provers have become more powerful and more suitable for verifying large programs or proofs. This has demonstrated the nee…