Title |
---|
![]() Lemur: Harmonizing Natural Language and Code for Language Agents Yiheng Xu Hongjin Su Chen Xing Boyu Mi Qian Liu ...Siheng Zhao Lingpeng Kong Bailin Wang Caiming Xiong Tao Yu |
![]() Hermes: Unlocking Security Analysis of Cellular Network Protocols by
Synthesizing Finite State Machines from Natural Language Specifications Abdullah Al Ishtiaq Sarkar Snigdha Sarathi Das Syed Md Mukit Rashid Ali Ranjbar Kai Tu ...Zhezheng Song Weixuan Wang M. Akon Rui Zhang Syed Rafiul Hussain |
![]() Testing the Limits of Unified Sequence to Sequence LLM Pretraining on
Diverse Table Data Tasks Soumajyoti Sarkar Leonard Lausen |