Lucas Pe\~na

Identifiers

• name variant Lucas Pe\~na 0.60 · backfill

Papers (1)

1. Complete first-order reasoning for functional programs cs.LO · 2026 · author #2

Mentions

• 2605.23022 #2 · arxiv_oai · confidence 0.70 Lucas Pe\~na

Frequent Coauthors

• Adithya Murali 1 shared papers
• P. Madhusudan 1 shared papers
• Ranjit Jhala 1 shared papers