Summary of Verified Lifting Of Deep Learning Operators, by Qi Zhan et al.
Verified Lifting of Deep learning Operatorsby Qi Zhan, Xing Hu, Xin Xia, Shanping LiFirst submitted…
Verified Lifting of Deep learning Operatorsby Qi Zhan, Xing Hu, Xin Xia, Shanping LiFirst submitted…
Efficiently Serving LLM Reasoning Programs with Certaindexby Yichao Fu, Junda Chen, Siqi Zhu, Zheyu Fu,…
LEASE: Offline Preference-based Reinforcement Learning with High Sample Efficiencyby Xiao-Yin Liu, Guotao Li, Xiao-Hu Zhou,…
Weber-Fechner Law in Temporal Difference learning derived from Control as Inferenceby Keiichiro Takahashi, Taisuke Kobayashi,…
EdgeRAG: Online-Indexed RAG for Edge Devicesby Korakit Seemakhupt, Sihang Liu, Samira KhanFirst submitted to arxiv…
Text Classification: Neural Networks VS Machine Learning Models VS Pre-trained Modelsby Christos PetridisFirst submitted to…
Machine Learning Optimal Ordering in Global Routing Problems in Semiconductorsby Heejin Choi, Minji Lee, Chang…
Improving Location-based Thermal Emission Side-Channel Analysis Using Iterative Transfer Learningby Tun-Chieh Lou, Chung-Che Wang, Jyh-Shing…
Learning Epidemiological Dynamics via the Finite Expression Methodby Jianda Du, Senwei Liang, Chunmei WangFirst submitted…
Towards Effective Discrimination Testing for Generative AIby Thomas P. Zollo, Nikita Rajaneesh, Richard Zemel, Talia…