Alperen Keles
posts
resume
research
projects
talks
documents
Entries tagged :: ai
.
2025-08-31
Breaking Verifiable Abstractions
en
[software engineering, ai]
8 min read
2025-03-09
Verifiability is the Limit
en
[software engineering, ai]
9 min read
