Tristan Kneisel

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

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

Frequent co-authors

Tristan Kneisel (1)Marko Schmellenkamp (1)Marko Schmellenkamp (1)Fabian Vehlken (1)

Papers (1)

Feb 23, 2026

Tristan Kneisel +73w ago

NILE: Formalizing Natural-Language Descriptions of Formal Languages

LLMs can translate natural language descriptions of formal languages into a new representation, NILE, with high accuracy, enabling automated error explanation in educational settings.

Tristan Kneisel, Tristan Kneisel, Marko Schmellenkamp +5

Code Generation & Program Synthesis Natural Language Processing

Search

Tristan Kneisel

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)