Search papers, labs, and topics across Lattice.
University College London University of Bologna, University of Bologna, University College London
1
0
1
Antaeus uncovers hidden logic vulnerabilities by grounding LLM reasoning in the broader context of repository-level code, revealing insights that traditional models miss.
