Yo-Sub Han

ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs

Do Large Language Models Respect Contracts? Evaluating and Enforcing Contract-Adherence in Code Generation

RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-Complete Regex Problems

CodeComplex: A Time-complexity Dataset for Multi-language Source Codes

Neural Translation of Input Specifications into Formal Grammars for Test Case Generation