Picture for Abhik Roychoudhury

Abhik Roychoudhury

Unified Software Engineering agent as AI Software Engineer

Add code
Jun 17, 2025
Viaarxiv icon

Will AI replace Software Engineers? Hold your Breath

Add code
Feb 27, 2025
Viaarxiv icon

AI Software Engineer: Programming with Trust

Add code
Feb 19, 2025
Viaarxiv icon

Assured Automatic Programming via Large Language Models

Add code
Oct 24, 2024
Figure 1 for Assured Automatic Programming via Large Language Models
Figure 2 for Assured Automatic Programming via Large Language Models
Figure 3 for Assured Automatic Programming via Large Language Models
Figure 4 for Assured Automatic Programming via Large Language Models
Viaarxiv icon

SpecRover: Code Intent Extraction via LLMs

Add code
Aug 07, 2024
Figure 1 for SpecRover: Code Intent Extraction via LLMs
Figure 2 for SpecRover: Code Intent Extraction via LLMs
Figure 3 for SpecRover: Code Intent Extraction via LLMs
Figure 4 for SpecRover: Code Intent Extraction via LLMs
Viaarxiv icon

Automatic Programming: Large Language Models and Beyond

Add code
May 03, 2024
Figure 1 for Automatic Programming: Large Language Models and Beyond
Figure 2 for Automatic Programming: Large Language Models and Beyond
Figure 3 for Automatic Programming: Large Language Models and Beyond
Figure 4 for Automatic Programming: Large Language Models and Beyond
Viaarxiv icon

AutoCodeRover: Autonomous Program Improvement

Add code
Apr 15, 2024
Viaarxiv icon

Fairness-guided SMT-based Rectification of Decision Trees and Random Forests

Add code
Nov 22, 2020
Figure 1 for Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Figure 2 for Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Figure 3 for Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Figure 4 for Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Viaarxiv icon

Synthesizing Tasks for Block-based Programming

Add code
Jul 01, 2020
Figure 1 for Synthesizing Tasks for Block-based Programming
Figure 2 for Synthesizing Tasks for Block-based Programming
Figure 3 for Synthesizing Tasks for Block-based Programming
Figure 4 for Synthesizing Tasks for Block-based Programming
Viaarxiv icon