Philipp Rümmer

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)

Frequent co-authors

Hongjian Jiang (1)Matthew Hague (1)Anthony Widjaja Lin (1)

Papers (1)

Feb 18, 2026

Hongjian Jiang +33w ago

Synthesis and Verification of Transformer Programs

Unlock formal verification for transformer-level programs by translating them into synchronous dataflow languages, enabling rigorous analysis and optimization.

Hongjian Jiang, Matthew Hague, Philipp Rümmer +1

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

Search

Philipp Rümmer

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)