Adversarial Learning to Reason in an Arbitrary Logic

Re-assign community