NExT: Teaching Large Language Models to Reason about Code Execution Paper • 2404.14662 • Published Apr 23, 2024 • 4
Learning Math Reasoning from Self-Sampled Correct and Partially-Correct Solutions Paper • 2205.14318 • Published May 28, 2022
LEVER: Learning to Verify Language-to-Code Generation with Execution Paper • 2302.08468 • Published Feb 16, 2023 • 1