Search papers, labs, and topics across Lattice.
Helmut Schmidt University Hamburg
1
0
3
LLMs can make formal planning tools actually usable in messy real-world industrial settings by translating solver outputs into actionable insights and adapting knowledge models on the fly.
