Adithya Murali

1. A First-Order Logic with Frames
   2019/01/25 by Adithya Murali, Lucas Peña, Murali, Adithya +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Natural Language Processing Techniques #Software Engineering Research
2. Faithful Autoformalization of Natural Language Assertions
   2026/07/14 by Hongyi Liu, Madhusudan Parthasarathy, Adithya Murali
   #cs.SE #cs.AI
3. Imprompt: A Language Framework for Prompt Programming
   2026/07/13 by Chentian Wu, Shengyuan Yang, Adithya Murali
   #cs.AI #cs.CL #cs.PL