← Search

Gail Kaiser

3 accepted papers

2026

CodeSense: a Real-World Benchmark and Dataset for Code Semantic Reasoning

ICLR 2026poster

Understanding and reasoning about code semantics is essential for enhancing code LLMs' abilities to solve real-world software engineering (SE) tasks. Although several code reasoning benchmarks exist, most rely on synthetic datasets or educational coding problems and focus on coarse-grained reasoning…

Cited by 0SourcecodeScholar
2024

Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain

ICLR 2024poster

Code Large Language Models (Code LLMs) are being increasingly employed in real-life applications, so evaluating them is critical. While the conventional accuracy evaluates the performance of Code LLMs on a set of individual tasks, their self-consistency across different tasks is overlooked. Intuitiv…

2024

SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning

NeurIPS 2024poster

Code Large Language Models (Code LLMs) have excelled at tasks like code completion but often miss deeper semantics such as execution effects and dynamic states. This paper aims to bridge the gap between Code LLMs' reliance on static text data and the need for semantic understanding for complex tasks…