A typed domain-specific language that captures recurring tensor structures, such as repeated regions and floating-point fields, through a set of reversible operators, is designed, which formulates lossless tensor compression as program synthesis.
Jie-Ke Shi, Jun-Da He, Wenjia Jiang et al.· 0 citations
Agent systems rely on LLM APIs for every response, but these APIs can return server errors, truncated responses, or corrupted content that propagates through downstream agents and causes task failure. Evaluating robustness under these faults is crucial for reliable deployment. Existing fault injection methods are offli...
Gou Tan, Zhensu Sun, Jie-Ke Shi et al.· 2 citations
FailFast-RestartSmart, a two-stage controller for a single active trajectory that supports early termination with sequential same-policy recovery, and results support early termination with sequential same-policy recovery.
Chenyu Wang, Yunbo Lyu, Junda He et al.· 1 citation
Delta (Differential Testing for DRL Agents) is proposed, a novel and comprehensive framework that automatically identifies both safety-critical and optimality bugs in DRL agents and investigates the effectiveness of three offline RL algorithms in generating challenger agents.
Jun-Da He, Jie-Ke Shi, Zhou Yang et al.· Proceedings of the ACM on so...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.