Geometric constraints within tripeptides and the existence of tripeptide reconstructions. - Timothée O'Donnell; Viraj Agashe; Frédéric Cazals (J. Comput. Chem., 2023)

ClassInvGen: Class Invariant Synthesis using Large Language Models. - Chuyue Sun; Viraj Agashe; Saikat Chakraborty; Jubi Taneja; Clark W. Barrett; David L. Dill; Xiaokang Qiu; Shuvendu K. Lahiri (CoRR, 2025)