microsoft / nl-2-postcond

Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages
12Updated last month

Alternatives and similar repositories for nl-2-postcond:

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