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

Maximilian Prokop | Lattice

Maximilian Prokop

Technical University of Munich, Masaryk University Brno

Papers on Lattice

1

Total citations

0

Topics

3

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)RLHF & Preference Learning (1)World Models & Planning (1)

Frequent co-authors

Christoph Weinhuber (1)Giuseppe De Giacomo (1)Moshe Y. Vardi (1)

Papers (1)

Aug 3, 2026

3w ago·also Masaryk University Brno, Rice, TU Munich

Infinite Trace Objectives with Finite Trace Techniques: Translating LTL to LTLf+

Translating LTL to LTLf+ unlocks efficient finite automata techniques for a wide array of AI applications without sacrificing complexity.

Christoph Weinhuber, Maximilian Prokop, Giuseppe De Giacomo +1

Code Generation & Program Synthesis RLHF & Preference Learning World Models & Planning