Latticethe structure behind the noise

Papers Digest Topics Selected Labs Collections FAQ

Created by Flynn Lachendro

Papers Digest Topics Labs Saved

Search

Search papers, labs, and topics across Lattice.

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

Martin Reuter | Lattice

Martin Reuter

Humboldt-Universität zu Berlin

Papers on Lattice

1

Total citations

0

Topics

2

h-index

0

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)

Frequent co-authors

Tobias Kiecker (1)Jan Arne Sparka (1)Albert Ziegler (1)Lars Grunske (1)

Papers (1)

Apr 21, 2026

Humboldt-Universität zu BerlinApr 21, 2026

CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation

LLMs can automatically find real, previously unknown bugs by checking if code behaves as its documentation says it should.

Tobias Kiecker, Jan Arne Sparka, Martin Reuter +2

Code Generation & Program Synthesis Natural Language Processing