papers

Publications (20)

cs.LG2026

Inference-time Unlearning Using Conformal Prediction

Somnath Basu Roy Chowdhury, Rahul Kidambi, Avinava Dubey +4

Machine unlearning is the process of efficiently removing specific information from a trained machine learning model without retraining from scratch. Existing unlearning methods, w…

astro-ph.EP2023

The Giant Accreting Protoplanet Survey (GAPlanetS) -- Results from a Six Year Campaign to Image Accreting Protoplanets

Katherine B. Follette, Laird M. Close, Jared R. Males +20

Accreting protoplanets represent a window into planet formation processes. We report Hα differential imaging results from the deepest and most comprehensive accreting protoplanet…

eess.SP2025

Material Identification Via RFID For Smart Shopping

David Wang, Derek Goh, Jiale Zhang

Cashierless stores rely on computer vision and RFID tags to associate shoppers with items, but concealed items placed in backpacks, pockets, or bags create challenges for theft pre…

cs.LO2025

Formally Verified Certification of Unsolvability of Temporal Planning Problems

David Wang, Mohammad Abdulaziz

We present an approach to unsolvability certification of temporal planning. Our approach is based on encoding the planning problem into a network of timed automata, and then using…

physics.app-ph2019

Design Principles for Self-forming Interfaces Enabling Stable Lithium Metal Anodes

Yingying Zhu, Vikram Pande, Linsen Li +5

The path toward Li-ion batteries with higher energy-densities will likely involve use of thin lithium metal (Li) anode (<50 m in thickness), whose cyclability today remains lim…

cs.RO2026

PlayWorld: Learning Robot World Models from Autonomous Play

Tenny Yin, Zhiting Mei, Zhonghe Zheng +8

Action-conditioned video models offer a promising path to building general-purpose robot simulators that can improve directly from data. Yet, despite training on large-scale robot…