Online joining: https://teams.microsoft.com/meet/44299089959938?p=5wwN132pf54i4sVnyN Abstract: Successful engagement with the physical world involves perceiving the underlying structure, predicting how things unfold, and planning actions accordingly. This rich understanding and reasoning about our physical… Read More »Physical reasoning in Minds, Brains, and Machines by Dr. Pramod RT
Venue: SIT001 Abstract: Solving long-horizon tasks remains a central challenge in robotics because agents must explore efficiently, assign credit over long time scales, and act under sparse supervision. To address… Read More »Learning Hierarchical Control via Feasible Subgoal Prediction by Utsav Singh
Venue: Bharti-501/ MS Teams Abstract: In-Context Learning (ICL) is a remarkable phenomenon whereby transformer-based LLMs can use data contained within their prompts to adapt their responses, without changing their weights. This suggests… Read More »Algorithmic Behaviours in In-Context Learning by Dr. Aditya Gangrade
Abstract: This talk explores a novel approach to speeding up complex database queries by combining two powerful ideas: factorization and vectorized execution. Instead of processing large intermediate results (which can… Read More »Faster Queries, Smarter Execution: Factorization Meets Vectorization in Modern Data Systems
Abstract: In many settings, a finite supply of some public resource is allocated among people over time, without using money: a computing cluster among researchers, food among food-banks, medical supplies between… Read More »The Mathematics (and Ethics) of Fair Resource Allocation by Dr. Siddhartha Banerjee (Cornell University)
Abstract: The Pigeonhole Equal Subset Sum problem (PESS), introduced by Papadimitriou (1994), asks: given n positive integers bounded by M with total sum less than 2^n − 1, find two… Read More »Finding Equal Subset Sums in the Pigeonhole Regime by Dr. Pranjal Dutta
Abstract: A common denominator of conventional financial systems, trusted execution environments (like SGX), blockchain technology, and ZK-rollups is the promise of computational integrity -- doing the right computation on potentially secret… Read More »Cryptographic proofs for privacy and integrity by Prof. Chaya Ganesh (IISc)
Abstract: The convergence of artificial intelligence (AI), the Internet of Things (IoT), cloud-edge computing, and autonomous cyber-physical systems is transforming critical infrastructures across healthcare, manufacturing, transportation, and smart cities. As… Read More »Building Trustworthy Intelligent Systems for Critical Infrastructures by Dr. Geetanjali
Abstract: Modern Internet-scale services must identify and mitigate customer-impacting incidents quickly. Despite the development of many Root Cause Analysis (RCA) algorithms—including recent LLM-assisted solutions—existing approaches struggle with the "long tail"… Read More »Abstractions for expressive, extensible, and scalable root cause analysis by Dr. Vipul Harsh
Abstract: We will discuss two new frontiers in science. 1) Autonomous AI Scientists: Research conducted by autonomous AI scientist systems is rapidly increasing in prevalence. These systems execute the entire research… Read More »Two New Frontiers in Science: Autonomous AI Scientists and Lotteries for Acceptance Decisions by Prof Nihar Shah
