Towards Self-Verification in Finite Difference Code Generation

doi 10.1145/3145344.3145488