Search papers, labs, and topics across Lattice.
1
0
2
Autoformalization using LLMs can achieve formal policy enforcement that scales beyond traditional hand-coded methods, dramatically improving agent safety in critical applications.
