Automated Reasoning

AutoCS
The Automatic Computer Scientist
RIGA
Reasoning Over Indirect Discrimination