no code implementations • 31 Jan 2024 • Bhabesh Mali, Karthik Maddala, Sweeya Reddy, Vatsal Gupta, Chandan Karfa, Ramesh Karri
We designeda novel framework called ChIRAAG, based on OpenAI GPT4, to generate SVA assertions from natural language specifications.
no code implementations • 15 Nov 2023 • Vatsal Gupta, Pranshu Pandya, Tushar Kataria, Vivek Gupta, Dan Roth
Language models, given their black-box nature, often exhibit sensitivity to input perturbations, leading to trust issues due to hallucinations.