Search papers, labs, and topics across Lattice.
Hasso Plattner Institute for Digital Engineering
2
0
5
Rovers can now navigate more intelligently by querying real-time semantic maps with natural language, thanks to a novel confidence-aware mapping approach.
LLMs can synthesize formal safety rules from natural language goals, offering a path to more robust and verifiable AI systems in safety-critical domains.
