3 papers
cs.SE2026
VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation
Zichen Xie, Mrigank Pawagi, Yuxin Liu +5
Large language models can generate useful code from natural language, but their outputs come without correctness guarantees. Verifiable code generation offers a path beyond testing…
cs.SE2024
AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation
Ali Reza Ibrahimzada, Kaiyao Ke, Mrigank Pawagi +4
Code translation transforms programs from one programming language (PL) to another. Several rule-based transpilers have been designed to automate code translation between different…
cs.CY2024
Probeable Problems for Beginner-level Programming-with-AI Contests
Mrigank Pawagi, Viraj Kumar
To broaden participation, competitive programming contests may include beginner-level problems that do not require knowledge of advanced Computer Science concepts (e.g., algorithms…