Oskar Eriksson

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Architecture Design (Transformers, SSMs, MoE) (1)Code Generation & Program Synthesis (1)Natural Language Processing (1)

Frequent co-authors

Andreas Abel (1)Nils Anders Danielsson (1)

Papers (1)

Mar 31, 2026

Andreas Abel +21d ago

A Graded Modal Dependent Type Theory with Erasure, Formalized

Guaranteeing that erasing "erasable" function arguments provably preserves program behavior opens the door to more efficient and verifiable code optimization.

Andreas Abel, Nils Anders Danielsson, Oskar Eriksson

Architecture Design (Transformers, SSMs, MoE)Code Generation & Program Synthesis Natural Language Processing

Search

Oskar Eriksson

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)