Manish Kumar

Neural Network Branching for Neural Network Verification

2020 · International Conference on Learning Representations

Formal verification of neural networks is essential for their deployment in safety-critical areas. Many available formal verification methods have been shown to be instances of a unified Branch and Bound (BaB) formulation. We propose a …

LIED: A Lightweight and Ensemble learning approach for fake face Detection

2023

For many years, machine learning problems have primarily been driven by the availability and quality of data. Being the key, data has been equally vulnerable and got a savior in the form of generative adversarial …

A review of machine learning and deep learning models, features, and applications for solar PV forecasting

2026 · Journal of Electrical Systems and Information Technology

Solar energy has become an important source of renewable energy towards supporting the increased electricity demand in the world and minimizing reliance on fossil energy. Nevertheless, solar irradiance is intermittent and unreliable, which necessitates the …