Search papers, labs, and topics across Lattice.
Beijing University of Posts,Telecommunications
1
0
3
5
Instruction tuning on a new dataset, SecGoal, allows smaller 7B/9B parameter models to outperform much larger LLMs in extracting and formalizing security goals from protocol documents.
