CVC4-SymBreak: Derived SMT solver at SMT Competition 2019. - Saket Dingliwal; Ronak Agarwal; Happy Mittal; Parag Singla (CoRR, 2019)

Linking Symptom Inventories using Semantic Textual Similarity. - Eamonn Kennedy; Shashank Vadlamani; Hannah M. Lindsey; Kelly S. Peterson; Kristen Dams OConnor; Kenton Murray; Ronak Agarwal; Houshang H. Amiri; Raeda K. Andersen; Talin Babikian; David A Baron; Erin D. Bigler; et al. (CoRR, 2023)