Journal article CodePlan: Repository-Level Coding using LLMs and Planning Proceedings of the ACM on software engineering. 2024 Read Paper CodePlan: Repository-Level Coding using LLMs and Planning Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, D. C. Vageesh, Arun Iyer, Suresh Parthasarathy, Sriram K. Rajamani, B. Ashok, Shashank Shet Proceedings of the ACM on software engineering. 2024 Open access AI-based Problem Solving and Planning Formal Methods in Verification Software Testing and Debugging Techniques