Ridhi Jain

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

Norbert Tihanyi, Tamás Bisztray, Ridhi Jain et al. · 2023 · 45 citations · Full text

Program Checking, Engineering, Information Security +22

Noninvasive cuff'less estimation of blood pressure using Photoplethysmography without electrocardiograph measurement

Rohan Samria, Ridhi Jain, Ankita Jha et al. · 2014 IEEE REGION 10 SYMPOSIUM · 2014 · 41 citations

Hypertension, Measurement, Novel Approach +16

CyberMetric: A Benchmark Dataset based on Retrieval-Augmented Generation for Evaluating LLMs in Cybersecurity Knowledge

Norbert Tihanyi, Mohamed Amine Ferrag, Ridhi Jain et al. · 2024 · 36 citations

Mining Level-Crossing Association Rules from Large Databases

Rajni Thakur, Ridhi Jain · Journal of Computer Science · 2006 · 32 citations

Level-crossing Association Rules, Information Retrieval, Frequent Pattern Mining +15

A Code Centric Evaluation of C/C++ Vulnerability Datasets for Deep Learning Based Vulnerability Detection Techniques

Ridhi Jain, Nicole Gervasoni, Mthandazo Ndhlovu et al. · 2023 · 29 citations

Llm Fine-tuning, Engineering, Machine Learning +27