Co-occurring keywords · papers mentioning both
Papers
ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
ACL 2026
Graph of Trace: Visualizing Execution Traces of Scientific Agents
ACL 2026
Seeing the Whole Elephant: A Benchmark for Failure Attribution in LLM-based Multi-Agent Systems
ACL 2026
Trustworthy AI-Assisted Programming: Detection and Repair of Unreliable Code
AAAI 2026
Do Code Semantics Help? A Comprehensive Study on Execution Trace-Based Information for Code Large Language Models
EMNLP 2025
Towards Effectively Leveraging Execution Traces for Program Repair with Code LLMs
NAACL 2025
NExT: Teaching Large Language Models to Reason about Code Execution
ICML 2024
Trace is the Next AutoDiff: Generative Optimization with Rich Feedback, Execution Traces, and LLMs
NeurIPS 2024
How to transfer algorithmic reasoning knowledge to learn new algorithms?
NeurIPS 2021
Compositional Generalization via Neural-Symbolic Stack Machines
NeurIPS 2020
Dynamic Neural Program Embeddings for Program Repair
ICLR 2018
Improving Neural Program Synthesis with Inferred Execution Traces
NeurIPS 2018
Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation
AISTATS 2011
Localizing Bugs in Program Executions with Graphical Models
NeurIPS 2009