Varun Bharti

According to our database, Varun Bharti authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Automated Type Annotation in Python Using Large Language Models.

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

CoRR, August, 2025

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers.

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

CoRR, August, 2025

Combining Reasoning Optimized LLMs and SMT Solvers for Automated Loop Invariant Synthesis.

Varun Bharti, Shashwat Jha, Dhruv Kumar, Pankaj Jalote

Proceedings of the 2nd IEEE/ACM International Conference on AI-powered Software, 2025