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

Christoph Weinhuber | Lattice

Christoph Weinhuber

University of Oxford

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

Maximilian Prokop (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