Daniel Kienitz | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Verena Rieser
4 publications
Luca Arnaboldi
2 publications
Ekaterina Komendantskaya
2 publications
Marco Casadio
2 publications
Omri Isac
1 publication
Tanvi Dinkar
1 publication
Matthew L. Daggitt
1 publication
Rob Stewart
1 publication
Wen Kokke
1 publication
Matthew Daggitt
1 publication

research

∙ 05/06/2023

ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification

Verification of machine learning models used in Natural Language Process...

0 Marco Casadio, et al. ∙

research

∙ 04/03/2021

Property-driven Training: All You (N)Ever Wanted to Know About

Neural networks are known for their ability to detect general patterns i...

0 Marco Casadio, et al. ∙

Success!

An error occurred