Model Equivalence Verifier
Formally verify that two versions of a trading strategy produce consistent outputs
Define Models to Verify
Enter the code for two models and specify the data to use for verification
Formally verify that two versions of a trading strategy produce consistent outputs