Beyond DNS: Unlocking the Internet of AI Agents via the NANDA Index and Verified AgentFacts. - Ramesh Raskar; Pradyumna Chari; John Zinky; Mahesh Lambe; Jared James Grogan; Sichao Wang; Rajesh Ranjan; Rekha Singhal; Shailja Gupta; Robert Lincourt; Raghu Bala; Aditi Joshi; et al. (CoRR, 2025)