AMETHYST (AutoMated THeorY SubsTitution): Formal language generation that is explainable, explorable, and extensible by humans Download pdf Tags: C3E License: CC-2.5 Submitted by Regan Williams on Thu, 10/19/2023 - 19:26