Liquid Types, SMT Verification, Predicate Subtyping, Contract Programming
VSLLaVA: a pipeline of large multimodal foundation model for industrial vibration signal analysis
arxiv.org·16h
Diverse Unionable Tuple Search: Novelty-Driven Discovery in Data Lakes [Technical Report]
arxiv.org·16h
Error Notebook-Guided, Training-Free Part Retrieval in 3D CAD Assemblies via Vision-Language Models
arxiv.org·16h
Loading...Loading more...