Adithya Murali

Identifiers

• name variant Adithya Murali 0.60 · backfill

Papers (3)

1. Counterexample Guided Learning in the Large using Reasoning Agents cs.LG · 2026 · author #4
2. Complete first-order reasoning for functional programs cs.LO · 2026 · author #1
3. Verification Modulo Tested Library Contracts cs.PL · 2026 · author #6

Mentions

• 2606.11521 #4 · arxiv_oai · confidence 0.70 Adithya Murali
• 2605.23022 #1 · arxiv_oai · confidence 0.70 Adithya Murali

Frequent Coauthors

• Abhishek Uppar 1 shared papers
• Deepak D'Souza 1 shared papers
• Frederic Sala 1 shared papers
• Hongyi Liu 1 shared papers
• Lucas Pe\~na 1 shared papers
• Madhusudan P 1 shared papers
• Omar Muhammad 1 shared papers
• P. Madhusudan 1 shared papers
• Ranjit Jhala 1 shared papers
• Sumanth Prabhu 1 shared papers
• Thomas Reps 1 shared papers