Search papers, labs, and topics across Lattice.
1
0
3
7
LLMs can synthesize formal safety rules from natural language goals, offering a path to more robust and verifiable AI systems in safety-critical domains.
