Algorithmic Counterexample Search Validation and Review Protocol | Algorithmic Counterexample Search | Mathematics | NEROS