Protocol Typing, Communication Safety, Pi Calculus, Concurrent Types
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
arxiv.org·11h
Trainee Action Recognition through Interaction Analysis in CCATT Mixed-Reality Training
arxiv.org·11h
Similarity as Thermodynamic Work: Between Depth and Diversity -- from Information Distance to Ugly Duckling
arxiv.org·11h
QCD Theory Meets Information Theory
journals.aps.org·3h
Variation in Verification: Understanding Verification Dynamics in Large Language Models
arxiv.org·11h
Qwen3-Omni Technical Report
arxiv.org·11h
ME-Mamba: Multi-Expert Mamba with Efficient Knowledge Capture and Fusion for Multimodal Survival Analysis
arxiv.org·11h
LIMI: Less is More for Agency
arxiv.org·11h
Loading...Loading more...