Inferring multiple helper Dafny assertions with LLMs
arxiv.org·21h
🔧Systems-level optimizations for LLM serving
Flag this post
Computation as a Game
arxiv.org·21h
💬Prompt optimizations for LLM serving
Flag this post
Text-guided Fine-Grained Video Anomaly Detection
arxiv.org·21h
🧠Large Language Models (LLMs)
Flag this post
Learning Complementary Policies for Human-AI Teams
arxiv.org·21h
Real-time AI Systems
Flag this post
DEEP: A Discourse Evolution Engine for Predictions about Social Movements
arxiv.org·21h
🧠Large Language Models (LLMs)
Flag this post
AI for pRedicting Exacerbations in KIDs with aSthma (AIRE-KIDS)
arxiv.org·21h
Real-time AI Systems
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·21h
🧠Large Language Models (LLMs)
Flag this post