Search papers, labs, and topics across Lattice.
Affiliation:
1
0
LLMs can infer formal specifications from tests alone, potentially transforming how we approach specification synthesis in industry.
