Picture for Aditya Kanade

Aditya Kanade

Microsoft Research, Bangalore

An Empirical Study of Validating Synthetic Data for Formula Generation

Add code
Jul 15, 2024
Viaarxiv icon

MASAI: Modular Architecture for Software-engineering AI Agents

Add code
Jun 17, 2024
Viaarxiv icon

Class-Level Code Generation from Natural Language Using Iterative, Tool-Enhanced Reasoning over Repository

Add code
Apr 22, 2024
Viaarxiv icon

NoFunEval: Funny How Code LMs Falter on Requirements Beyond Functional Correctness

Add code
Feb 02, 2024
Viaarxiv icon

Frustrated with Code Quality Issues? LLMs can Help!

Add code
Sep 22, 2023
Figure 1 for Frustrated with Code Quality Issues? LLMs can Help!
Figure 2 for Frustrated with Code Quality Issues? LLMs can Help!
Figure 3 for Frustrated with Code Quality Issues? LLMs can Help!
Figure 4 for Frustrated with Code Quality Issues? LLMs can Help!
Viaarxiv icon

Guiding Language Models of Code with Global Context using Monitors

Add code
Jun 19, 2023
Figure 1 for Guiding Language Models of Code with Global Context using Monitors
Figure 2 for Guiding Language Models of Code with Global Context using Monitors
Figure 3 for Guiding Language Models of Code with Global Context using Monitors
Figure 4 for Guiding Language Models of Code with Global Context using Monitors
Viaarxiv icon

GrACE: Generation using Associated Code Edits

Add code
May 24, 2023
Figure 1 for GrACE: Generation using Associated Code Edits
Figure 2 for GrACE: Generation using Associated Code Edits
Figure 3 for GrACE: Generation using Associated Code Edits
Figure 4 for GrACE: Generation using Associated Code Edits
Viaarxiv icon

FLAME: A small language model for spreadsheet formulas

Add code
Jan 31, 2023
Figure 1 for FLAME: A small language model for spreadsheet formulas
Figure 2 for FLAME: A small language model for spreadsheet formulas
Figure 3 for FLAME: A small language model for spreadsheet formulas
Figure 4 for FLAME: A small language model for spreadsheet formulas
Viaarxiv icon

BNSynth: Bounded Boolean Functional Synthesis

Add code
Dec 15, 2022
Figure 1 for BNSynth: Bounded Boolean Functional Synthesis
Figure 2 for BNSynth: Bounded Boolean Functional Synthesis
Figure 3 for BNSynth: Bounded Boolean Functional Synthesis
Figure 4 for BNSynth: Bounded Boolean Functional Synthesis
Viaarxiv icon

Learning to Answer Semantic Queries over Code

Add code
Sep 17, 2022
Figure 1 for Learning to Answer Semantic Queries over Code
Figure 2 for Learning to Answer Semantic Queries over Code
Figure 3 for Learning to Answer Semantic Queries over Code
Figure 4 for Learning to Answer Semantic Queries over Code
Viaarxiv icon