4 accepted papers
With the rapid progress of foundation models and robotics, vision-language navigation (VLN) has emerged as a key task for embodied agents with broad practical applications. We address VLN in continuous environments, a particularly challenging setting where an agent must jointly interpret natural lan…
Formal verification provides strong guarantees of software correctness, but its adoption is limited by the high cost of writing precise formal specifications. While recent large language models (LLMs) have demonstrated impressive capabilities in theorem proving and verified code generation, how powe…
Surgical phase recognition is critical in computer-assisted surgery. Clinically, surgeons discriminate surgical phases through visuospatial analysis of instrument-tissue interactions. However, existing methods fail to adequately account for the critical role of the visual-neural mechanisms of the su
Data attribution methods, which quantify the influence of individual training data points on a machine learning model, have gained increasing popularity in data-centric applications in modern AI. Despite a recent surge of new methods developed in this space, the impact of hyperparameter tuning in th…