会员服务
Parametrically Adaptive Transition Polynomial: a Signed-Parity Continuous-alpha Extension of Kunchenko Stochastic Polynomials
Arxiv
0+阅读 · 6月16日
Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale
Arxiv
0+阅读 · 6月15日
Human-on-the-Bridge: Scalable Evaluation for AI Agents
Arxiv
0+阅读 · 6月15日
Towards LLM Accelerated Rapid Reviews for Software Tool Discovery -- Case for Log Anomaly Detection
Arxiv
0+阅读 · 6月15日
Complexity Classes for Online Problems with and without Predictions
Arxiv
0+阅读 · 6月14日
Tangram: Hiding GPU Heterogeneity for Efficient LLM Parallelization
Arxiv
0+阅读 · 6月15日
Narratives That Limit the Possible: Interrupting Narrative Closure in Computing Practice
Arxiv
0+阅读 · 6月15日
CacheWise: Understanding Workloads and Optimizing KVCache Management for Efficiently Serving LLM Coding Agents
Arxiv
0+阅读 · 6月15日
Witnesses and Counterexamples for Timed Bisimulation
Arxiv
0+阅读 · 6月15日
Rumoca: Modelica as a Universal Algebraic Frontend via a Rust-Native Compiler
Arxiv
0+阅读 · 6月12日
Atlas: Orchestrating Heterogeneous Models and Tools for Multi-Domain Complex Reasoning
Arxiv
0+阅读 · 6月16日
Improving and Evaluating Hand-Object Interaction Detection
Arxiv
0+阅读 · 6月16日
From Agent Traces to Trust: A Survey of Evidence Tracing and Execution Provenance in LLM Agents
Arxiv
0+阅读 · 6月16日
Geodesic Calculus on Implicitly Defined Latent Manifolds
Arxiv
0+阅读 · 6月16日
Scaling Enterprise Agent Routing: Degradation, Diagnosis, and Recovery
Arxiv
0+阅读 · 6月16日
参考链接
微信扫码咨询专知VIP会员
Top