Domain-Specific Languages, Language Design, Compilers, Interpreters
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·2d
ViDove: A Translation Agent System with Multimodal Context and Memory-Augmented Reasoning
arxiv.org·7h
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
Loading...Loading more...