microsoft / nl-2-postcond

Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages
13Updated 2 months ago

Alternatives and similar repositories for nl-2-postcond:

Users that are interested in nl-2-postcond are comparing it to the libraries listed below