Verification with Proof Score of Arithmetic Expression Compiler Verification with Proof Score of Arithmetic Expression Compiler