1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2025
Automated Type Annotation in Python Using Large Language Models
Varun Bharti, Shashwat Jha, Dhruv Kumar +1
Type annotations in Python enhance maintainability and error detection. However, generating these annotations manually is error prone and requires extra effort. Traditional automat…
cs.LO2025
Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers
Varun Bharti, Shashwat Jha, Dhruv Kumar +1
Loop invariants are essential for proving the correctness of programs with loops. Developing loop invariants is challenging, and fully automatic synthesis cannot be guaranteed for…
cs.SE2024★ 1 cited
System Test Case Design from Requirements Specifications: Insights and Challenges of Using ChatGPT
Shreya Bhatia, Tarushi Gandhi, Dhruv Kumar +1
System testing is essential in any software development project to ensure that the final products meet the requirements. Creating comprehensive test cases for system testing from r…