Ridhi Jain | DeepAI

DeepAI

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

Featured Co-authors

Lucas C. Cordeiro
28 publications
Youcheng Sun
27 publications
Mohamed Amine Ferrag
14 publications
Vasileios Mavroeidis
13 publications
Srikanth Tamilselvam
12 publications
Norbert Tihanyi
5 publications
Tamas Bisztray
4 publications
Yiannis Charalambous
1 publication
Vini Kanvar
1 publication

research

∙ 08/02/2023

Handling Communication via APIs for Microservices

Enterprises in their journey to the cloud, want to decompose their monol...

0 Vini Kanvar, et al. ∙

research

∙ 07/05/2023

The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification

This paper presents the FormAI dataset, a large collection of 112, 000 A...

0 Norbert Tihanyi, et al. ∙

research

∙ 05/24/2023

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

In this paper we present a novel solution that combines the capabilities...

0 Yiannis Charalambous, et al. ∙