Title |
---|
![]() 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 |
![]() WebArena: A Realistic Web Environment for Building Autonomous Agents Shuyan Zhou Frank F. Xu Hao Zhu Xuhui Zhou Robert Lo ...Tianyue Ou Yonatan Bisk Daniel Fried Uri Alon Graham Neubig |