合格率(%)dev/cruxevaldev/humaneval_plusdev/thealgorithmsholdout/mbpp_plus
行数: 復元 ÷ 元(合格した関数の合計)dev/cruxevaldev/humaneval_plusdev/thealgorithmsholdout/mbpp_plus
認知的複雑度: 復元 ÷ 元(合格した関数の合計)dev/cruxevaldev/humaneval_plusdev/thealgorithmsholdout/mbpp_plus
本ツールに残った定型処理(angr に対する %、低いほど良い)dev/cruxevaldev/humaneval_plusdev/thealgorithmsholdout/mbpp_plus