Automated Reasoning Protocol Design | Automated Reasoning | Artificial Intelligence | NEROS