Research author

Borja Requena Pozo

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Borja Requena Pozo

Jun 30, 2026
cs.AI

AxDafny: Agentic Verified Code Generation in Dafny

Benjamin Breen, Austin Letson, Borja Requena Pozo, et al.

Borja Requena Pozo — AI Research Papers | One9Founders