Login

Willkomen zurück, bitte gebe deine Zugangsdaten ein!

Passwort vergessen

Anmeldung erfolgt in Kürze...
Fleebs-Logo
Details werden geladen...

copela · PyPI

Run narrative-to-formal translation across many language models and score it with oracles that are not language models: executable, structural and property layers, reported separately.