Search Results for author:
Found 3 papers, 0 papers with code
MGit: A Model Versioning and Management System
MGit introduces a lineage graph that records provenance and versioning information between models, optimizations to efficiently store model parameters, as well as abstractions over this lineage graph that facilitate relevant testing, updating and collaboration functionality.
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
A rigorous formalization of desired system requirements is indispensable when performing any verification task.
Dynamic Network Adaptation at Inference
Machine learning (ML) inference is a real-time workload that must comply with strict Service Level Objectives (SLOs), including latency and accuracy targets.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
