Picture for Koushik Sen

Koushik Sen

Type-Constrained Code Generation with Language Models

Add code
Apr 12, 2025
Viaarxiv icon

R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents

Add code
Apr 09, 2025
Viaarxiv icon

Challenges and Paths Towards AI for Software Engineering

Add code
Mar 28, 2025
Viaarxiv icon

LangProBe: a Language Programs Benchmark

Add code
Feb 27, 2025
Viaarxiv icon

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis

Add code
Dec 18, 2024
Viaarxiv icon

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code

Add code
Mar 12, 2024
Viaarxiv icon

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?

Add code
Feb 29, 2024
Viaarxiv icon

CodeScholar: Growing Idiomatic Code Examples

Add code
Dec 23, 2023
Viaarxiv icon

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines

Add code
Dec 20, 2023
Viaarxiv icon

LLM-Assisted Code Cleaning For Training Accurate Code Generators

Add code
Nov 25, 2023
Figure 1 for LLM-Assisted Code Cleaning For Training Accurate Code Generators
Figure 2 for LLM-Assisted Code Cleaning For Training Accurate Code Generators
Figure 3 for LLM-Assisted Code Cleaning For Training Accurate Code Generators
Figure 4 for LLM-Assisted Code Cleaning For Training Accurate Code Generators
Viaarxiv icon