Research Contributions
Improving Certified Robustness via Adversarial Distillation
TL;DR: We implement a novel certified training method combining adversarial knowledge distillation from an empirically robust teacher with IBP bounds, achieving state-of-the-art certified accuracy across multiple benchmarks.
Read PaperImplementing SOTA PTQ Algorithm - AMD Internship Presentation
Implementation details and core idea of state of the art post training quantization algorithm Qronos.
View SlidesUndergraduate Writings
The Klein Four-Group
Characterising Klein Four-Group (V4) constructions in the group of units of the integers modulo k and lifting these embeddings to the multiplicative semi group of the integers modulo n. Additionally, we explore V4's role in polynomial solvability.
ReadAn Algebraic Analysis of Gaussian Numbers
A deep dive into Gaussian numbers and their interplay with the algebraic structure of Gaussian integers. We then leverage these tools to recover classical results such as Fermat's two square theorem and extending this to higher dimensional analogues.
ReadAutomated Facial Detection Using Machine Learning
A comparitive study between different ML techniques for automated facial detection.
ReadAlgebraic Structures in Cryptography
A brief overview paper of the algebraic structures that underpin the RSA Algorithm and Elliptic Curve Cryptography.
Read