From the 9 of 49 papers with an AI index.
439 citations
- University of Maryland, College ParkUS9 papers
- University of MichiganUS9 papers
- The University of TokyoJP8 papers
- University of ArizonaUS8 papers
- Columbia UniversityUS7 papers
- Goddard Space Flight CenterUS7 papers
- Tsinghua UniversityCN7 papers
- University of California SystemUS7 papers
- University of ChicagoUS7 papers
- University of FloridaUS7 papers
- California Institute of TechnologyUS6 papers
- Cornell UniversityUS6 papers
49 papers
Effects of Outer Giant Planets on In Situ Formation of Inner Super-Earths
Phoebe Sandhaus, Rebekah I. Dawson, Mariah G. MacDonald +2
Recent studies have found an observational correlation between the presence of outer giant planets and inner super-Earths, which implies that outer giants do not suppress the forma…
Early Exploration of the Scientific Discovery Space for the Habitable Worlds Observatory
Courtney D. Dressing, Danica Adams, Evelyne Alecian +324
The paper summarizes 70 science cases for the proposed NASA Habitable Worlds Observatory, outlining the observational needs across four scientific pillars and detailing required ca…
VUPER: Verified ASN.1 UPER Parser
Xiaotian Zhou, Kai Tu, Ali Ranjbar +3
ASN.1 is a widely used interface description language, and UPER (Unaligned Packed Encoding Rules) is one of its key encoding rules, particularly popular in security-critical domain…
SAGE: SLO-Aware Adaptive Retrieval for Production RAG Systems
Muhammad Faizan Raza, Shuo, Yang +1
Retrieval-Augmented Generation (RAG) systems in production operate under strict service level objectives (SLOs) on tail latency and infrastructure cost. However, standard retrieval…
RustGo: Fairly Directed Greybox Fuzzing for Enforcing Rust Memory Safety
Dongyeon Yu, Jiun Min, Yewan Na +3
Rust is a popular systems programming language that provides strong memory safety and introduces low-performance overhead. While Rust guarantees memory safety through strict securi…
PromptShield Home: Ambient Multimodal Prompt Injection Defense for Smart-Home Agents
He Zhang, Feilong Li, Dingning Long +5
Smart-home assistants increasingly use multimodal large language models (MLLMs) that perceive video and audio directly. This raises a safety question specific to the home: can the…