Search papers, labs, and topics across Lattice.
1
0
3
LLMs can now translate natural language commands into provably safe UAV flight plans, even repairing infeasible specifications on the fly.
