Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages - View it on GitHub