Thomas Dybdahl Ahle

Identifiers

No identifiers captured yet.

Papers (2)

1. Autoformalizing Memory Specifications with Agents cs.AR · 2026 · author #8
2. Optimal Las Vegas Locality Sensitive Data Structures cs.DS · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Derek Christ 1 shared papers
• Dmitri Michelangelo Saberi 1 shared papers
• Jan Ole Ernst 1 shared papers
• Matthias Jung 1 shared papers
• Rajath Salegame 1 shared papers
• Stanislav Levental 1 shared papers
• Suhaas M. Bhat 1 shared papers
• Thomas Zimmermann 1 shared papers