Search papers, labs, and topics across Lattice.
Universit脿 degli Studi di Salerno
1
0
2
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.
