Search papers, labs, and topics across Lattice.
1
0
3
9
LLMs can achieve surprisingly high precision in smart contract vulnerability detection, but only with vulnerability-specific prompts and AST-based context.