AI.info

Dawn Song

Explore Dawn Song on AI.info.

• Vero: Can AI Agents Build Formally Verified Software Repositories?
• When Benign Inputs Lead to Severe Harms: Eliciting Unsafe Unintended Behaviors of Computer-Use Agents
• AgenticPay: A Multi-Agent LLM Negotiation System for Buyer-Seller Transactions
• Uncertainty Quantification in LLM Agents: Foundations, Emerging Challenges, and Opportunities
• A Sustainable AI Economy Needs Data Deals That Work for Generators
• Can Small Training Runs Reliably Guide Data Curation? Rethinking Proxy-Model Practice
• FrontierCS: Evolving Challenges for Evolving Intelligence
• Measuring Agents in Production
• VMDT: Decoding the Trustworthiness of Video Foundation Models