All case studies
Code Intelligence
Code Refactoring Benchmark
Two complementary approaches — Mining Baselines for ground truth and Deep Verification for equivalence — combined to produce production-grade code quality benchmarks.
Verification workflow
01Task Source & Spec
Mining from GitHub PRs
02Environment Reproduction
Docker + unit tests
03Equivalence Testing
Synthetic inputs, output consistency
04Human Verification
High-quality output