Nils Anders Danielsson

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)Oskar Eriksson (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

Nils Anders Danielsson

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)