papers

Publications (50)

cs.CV2025

NTIRE 2025 Challenge on Day and Night Raindrop Removal for Dual-Focused Images: Methods and Results

Xin Li, Yeying Jin, Xin Jin +134

This paper reviews the NTIRE 2025 Challenge on Day and Night Raindrop Removal for Dual-Focused Images. This challenge received a wide range of impressive solutions, which are devel…

astro-ph.HE2024

Gamma-ray Blazar Classification using Machine Learning with Advanced Weight Initialization and Self-Supervised Learning Techniques

Gopal Bhatta, Sarvesh Gharat, Abhimanyu Borthakur +1

Machine learning has emerged as a powerful tool in the field of gamma-ray astrophysics. The algorithms can distinguish between different source types, such as blazars and pulsars,…

cs.CR2025

Secure Audio Embedding in Images using Nature-Inspired Optimization

Aman Kumar, Ankit Chaudhary

In todays digital world, protecting sensitive data is very essential. Steganography hides the existence of secret data instead of its content, providing better security for multime…

cond-mat.str-el2025

Identifying chiral topological order in microscopic spin models by modular commutator

Avijit Maity, Aman Kumar, Vikram Tripathi

The chiral central charge is a key topological invariant of the edge characterizing the bulk two-dimensional chiral topological order, but its direct evaluation in microscopi…

cs.AI2024

Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM

Mark Litterick, Aleksandar Ivankovic, Bojan Arsov +1

This paper presents pragmatic solutions for verifying complex mathematical algorithms implemented in hardware in an efficient and effective manner. Maximizing leverage of a known-a…

cs.AI2026

Agentic AI-based Coverage Closure for Formal Verification

Sivaram Pothireddypalli, Ashish Raman, Deepak Narayan Gadde +1

Coverage closure is a critical requirement in Integrated Chip (IC) development process and key metric for verification sign-off. However, traditional exhaustive approaches often fa…