Verification, Type-level Programming, Safety Proofs, Linear Types
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·3d
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·17h
Agri-Query: A Case Study on RAG vs. Long-Context LLMs for Cross-Lingual Technical Question Answering
arxiv.org·17h
Limits of message passing for node classification: How class-bottlenecks restrict signal-to-noise ratio
arxiv.org·17h
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.org·17h
Loading...Loading more...