Precise Relational Verification with Branch and Bound

Comparing performance of different InfoNCE type losses used in contrastive learning.

LLM Program Watermarking

Efficient and general syntactical decoding for Large Language Models

An asynchronous RL platform for congestion control in QUIC transport protocol. https://arxiv.org/abs/1910.04054.

Incremental Verifiers for Neural Networks

Alternative Version of FUSD Infinite Campus (with grade simulation)

Votr is a proof-of-concept for a secure and accessible online election which utilizes blockchain technology to maintain an immutable and anonymous record of verified ballots.

Muddapu and Chakravarthy, 2020. Multi-Scale Computational Model of Excitotoxic Loss of Dopaminergic Cells in Parkinson’s Disease

Convolutional Neural Network for Anthracnose Fungal Blight Diagnosis in Turnip Leaves