ATP

Mathematical Reasoning

We explore multi-hop reasoning capabilities of Transformer/GNN methods in purely symbolic domains.