Gary T. Leavens | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Hridesh Rajan
25 publications
Shibbir Ahmed
3 publications
Sayem Mohammad Imtiaz
2 publications
David R. Cok
2 publications
John L. Singleton
1 publication
Samantha Syeda Khairunnesa
1 publication

research

∙ 07/26/2023

What Kinds of Contracts Do ML APIs Need?

Recent work has shown that Machine Learning (ML) programs are error-pron...

0 Samantha Syeda Khairunnesa, et al. ∙

research

∙ 05/16/2019

Inferring Concise Specifications of APIs

Modern software relies on libraries and uses them via application progra...

0 John L. Singleton, et al. ∙