AI Research Intern
TCS Research
Hinjewadi, Pune
- ›Engineered an end-to-end Automatic Program Repair (APR) framework integrating LLMs with Gherkin-based behavioral specifications to drive formal verification and automated patch generation.
- ›Bridged formal specification and program repair by translating high-level Gherkin scenarios into verifiable constraints, ensuring generated patches satisfy intended functional behavior.