Search papers, labs, and topics across Lattice.
T茅l茅com Paris, Institut Polytechnique de Paris
3
0
4
Fine-tuned open-weight models can match proprietary LLMs in translating strategic requirements into formal specifications, all while keeping sensitive data on-premises.
A neuro-symbolic framework that achieves 92% accuracy in strategy synthesis by combining LLMs with formal verification methods could revolutionize how agents strategize in complex multi-agent environments.
Catching complex, multi-transaction smart contract vulnerabilities is now possible with a new formal verification toolchain based on Hennessy-Milner Logic.
