Papers Digest Topics Labs Collections FAQ

Track papers across labs, topics, and trends.

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

Lattice AI Lattice Medical Lattice Physics Lattice Chemistry Lattice Maths Lattice Robotics Lattice Biology

Built by Flynn Lachendro·𝕏 / Twitter·RSS··FAQ·Glossary·Privacy

Oskar Eriksson

Papers on Lattice

1

Total citations

0

Topics

3

h-index

1

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 +2Mar 31, 2026

A Graded Modal Dependent Type Theory with Erasure, Formalized

Achieve provably sound erasure of function arguments in a dependently typed language, enabling optimization without sacrificing correctness.

Andreas Abel, Nils Anders Danielsson, Oskar Eriksson

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