Search papers, labs, and topics across Lattice.
University of Naples Federico II
2
0
3
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.
