How Well Does Knowledge Injection Enhance LLM-Aided Formal Protocol Modeling?

Yajia Lin, Jie Su, Cheng Wen, Rong Wang, Cong Tian, Zhenhua Dun, Shengchao Qin

Browse the full SANER paper archive.