Ana Brendel

According to our database, Ana Brendel authored at least 2 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Synthesizing Implication Lemmas for Interactive Theorem Proving.

Ana Brendel, Aishwarya Sivaraman, Todd D. Millstein

Proc. ACM Program. Lang., 2025

2022

Bottom-up synthesis of recursive functional programs using angelic execution.

Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig

Proc. ACM Program. Lang., 2022