Featured scholarly/creative works
- Ayon, R. S., & Ahmed, S. (n.d.). AutoReSpec: A Framework for Generating Specification using Large Language Models. IEEE/ACM. Retrieved from https://conf.researchr.org/details/forge-2026/forge-2026-papers/14/AutoReSpec-A-Framework-for-Generating-Specification-using-Large-Language-Models
- Ayon, R. S., & Ahmed, S. (n.d.). AutoJML: Generation and Verification of JML Specifications using LLM Agents. https://doi.org/10.1109/MPULS.2026.3659250