Audrey Cheng

Identifiers

• name variant Audrey Cheng 0.60 · backfill

Papers (2)

1. Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems cs.AI · 2026 · author #5
2. AI-Driven Research for Databases cs.DB · 2026 · author #1

Mentions

• 2605.23109 #5 · arxiv_oai · confidence 0.70 Audrey Cheng

Frequent Coauthors

• Ion Stoica 2 shared papers
• Matei Zaharia 2 shared papers
• Aaron Kabcenell 1 shared papers
• Aditya Parameswaran 1 shared papers
• Alexander Krentsel 1 shared papers
• Chun-Liang Li 1 shared papers
• Harald Ng 1 shared papers
• Lin Ma 1 shared papers
• Mert Cemri 1 shared papers
• Mohsen Lesani 1 shared papers
• Peter Bailis 1 shared papers
• Rui Meng 1 shared papers
• Shubham Agarwal 1 shared papers
• Shu Liu 1 shared papers
• Sylvia Ratnasamy 1 shared papers
• Tomas Pfister 1 shared papers
• Xiao Shi 1 shared papers