Search papers, labs, and topics across Lattice.
1
0
2
Current LLMs can generate precise LTL specifications from unstructured requirements, achieving significant performance without fine-tuning.
