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
Evaluations across agent systems, benchmarks, and backbone LLMs under 65 fault configurations show that all systems degrade under fault injection, suggesting that robustness depends on system implementation rather than model capability.
Gou Tan, Zhensu Sun, Jie-Ke Shi et al.· Proceedings of the 41st IEEE...· 6 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.