Search papers, labs, and topics across Lattice.
Beijing University of Posts and Telecommunications
1
0
3
LLMs are surprisingly bad at identifying security goals in protocol documents, but instruction tuning on a new benchmark, SecGoal, closes the gap.
