Refute Questions for Concrete, Cluttered Specifications. - Sannidhi V. Hebbar; Sasmita Harini; Arun Raman; Viraj Kumar (ICER (2), 2024)

Refuting LLM-generated Code with Reactive Task Comprehension. - Sannidhi V. Hebbar; Sasmita Harini; Viraj Kumar (ITiCSE (1), 2025)