2IMF25 (2024-GS1) Automated Reasoning