research
∙
07/14/2023
MGit: A Model Versioning and Management System
Models derived from other models are extremely common in machine learnin...
share
research
∙
03/08/2023
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
A rigorous formalization of desired system requirements is indispensable...
research
∙
04/18/2022
