Venue: Bharti501 Abstract: Pretrained transformers readily adapt to new sequence modeling tasks via zero-shot prompting, but relational domains still lack architectures that transfer across datasets and tasks. The core challenge is… Read More »Relational Transformer: Toward Zero-Shot Foundation Models for Relational Data by Rishabh Ranjan
Abstract: We show that if the ground set of a matroid can be partitioned into k≥2 bases, then for any given subset S of the ground set, there is a… Read More »Matroids are Equitable by Hannaneh Akrami
Venue: Bharti 501 Abstract: Suppose Alice uses a t-out-of-n secret sharing to store her secret key on n servers. Her secret key is protected as long as t of them… Read More »Traceable Secret Sharing: Strong Security and Efficient Constructions by Aditi Partap
Venue: Bharti501 Abstract: We study the online busy time scheduling model on heterogeneous machines. In our setting, jobs with uniform length arrive online with a deadline that becomes known to… Read More »Online Flexible Busy Time Scheduling on Heterogeneous Machines by Gruia Calinescu
Venue: Bharti-501/MS Teams Abstract: The goal of error correcting codes is to encode data in a way that allows for this data to be recovered even if the encoded copy is… Read More »Coping with choices – List Decoding in Coding Theory by Dr. Shashank Srivastava
Venue: SIT001 Abstract: The vast expansion of online information has shifted the challenge from simply locating data to efficiently filtering and aggregating relevant content from diverse sources. This talk introduces innovative… Read More »Agentic Information Seeking for Knowledge Acquisition by Revanth Reddy
Venue: SIT113 Abstract: The Android operating system uses a permission framework that allows users to control access to their private data, such as location and contacts, when using apps. However, many… Read More »WhiteLie: A Robust System for Spoofing User Data in Android Platforms by Harish Yadav
Venue: Bharti501 Abstract: Authenticated data structures (ADSs) allow untrusted third parties to carry out operations which produce proofs that can be used to verify an operation’s output. Such data structures… Read More »Logical Relations for Formally Verified Authenticated Data Structures by Chaitanya Agarwal
Venue: Bharti 501 Abstract: As Language Model Systems (LMS) are deployed across an expanding range of applications, aligning them with human ethics has become crucial. Although recent works propose methods to… Read More »Lumos: A DSL for Language Model System Certification by Isha Chaudhary
Venue: Bharti501 Abstract: Fluorescence microscopy is limited by optics, fuorophore chemistry, and photon exposure, forcing trade-ofs in speed, resolution, and depth. In this talk, I will discuss my PhD research… Read More »Image decomposition with Fluorescence Microscopy Data by Ashesh
