Seonglae ChoSimulates a real software engineering environment (code modifications, builds, tests, etc.) and solves problems using various tools (terminal, file editing, etc.) within an RL environment
Hybrid Verifier
Combines execution-free (LLM evaluates patches) + execution-based (actual test execution) approaches