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

Konstantin Läufer | Lattice

Konstantin Läufer

Loyola University Chicago

Papers on Lattice

1

Total citations

0

Topics

3

Research focus

Code Generation & Program Synthesis (1)Eval Frameworks & Benchmarks (1)Natural Language Processing (1)

Frequent co-authors

Eric Spencer (1)Brian Ortiz (1)Khushboo Bhadauria (1)Mujtaba Nazari (1)

Papers (1)

Jul 26, 2026

Loyola University ChicagoJul 26, 2026

TLA$^{+}$-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA+ Specification Generation

The correctness of TLA$^{+}$ specifications generated by LLMs can vary dramatically—up to elevenfold—based on how we choose to grade them.

Eric Spencer, Brian Ortiz, Khushboo Bhadauria +7

Code Generation & Program Synthesis Eval Frameworks & Benchmarks Natural Language Processing

Beatriz Santos (1)

Anisa Ramos (1)

TaiNing Wang (1)

George K. Thiruvathukal (1)