Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Generating Verifiable Chain of Thoughts from Exection-Traces
Shailja Thakur, Vaibhav Saxena, Rohan Kulkarni +4
Getting language models to reason correctly about code requires training on data where each reasoning step can be checked. Current synthetic Chain-of-Thought (CoT) training data of…
cs.SE2025
CIFE: Code Instruction-Following Evaluation
Sravani Gunnu, Shanmukha Guttula, Hima Patel
Large Language Models (LLMs) are increasingly applied to real-world code generation, where functional correctness alone is insufficient for reliable deployment, developers also exp…