1 code implementation • 6 Oct 2023 • Abdullah Al Ishtiaq, Sarkar Snigdha Sarathi Das, Syed Md Mukit Rashid, Ali Ranjbar, Kai Tu, Tianwei Wu, Zhezheng Song, Weixuan Wang, Mujtahid Akon, Rui Zhang, Syed Rafiul Hussain
In this paper, we present Hermes, an end-to-end framework to automatically generate formal representations from natural language cellular specifications.