Summary of Retrieval-augmented Mining Of Temporal Logic Specifications From Data, by Gaia Saveri et al.
Retrieval-Augmented Mining of Temporal Logic Specifications from Databy Gaia Saveri, Luca BortolussiFirst submitted to arxiv…
Retrieval-Augmented Mining of Temporal Logic Specifications from Databy Gaia Saveri, Luca BortolussiFirst submitted to arxiv…
MiniCache: KV Cache Compression in Depth Dimension for Large Language Modelsby Akide Liu, Jing Liu,…
RoPINN: Region Optimized Physics-Informed Neural Networksby Haixu Wu, Huakun Luo, Yuezhou Ma, Jianmin Wang, Mingsheng…
Minimum number of neurons in fully connected layers of a given neural network (the first…
Self-Taught Recognizer: Toward Unsupervised Adaptation for Speech Foundation Modelsby Yuchen Hu, Chen Chen, Chao-Han Huck…
A Structure-Aware Framework for Learning Device Placements on Computation Graphsby Shukai Duan, Heng Ping, Nikos…
Deterministic Policies for Constrained Reinforcement Learning in Polynomial Timeby Jeremy McMahanFirst submitted to arxiv on:…
Fairness Hub Technical Briefs: Definition and Detection of Distribution Shiftby Nicolas Acevedo, Carmen Cortez, Chris…
Agent Planning with World Knowledge Modelby Shuofei Qiao, Runnan Fang, Ningyu Zhang, Yuqi Zhu, Xiang…
GLaD: Synergizing Molecular Graphs and Language Descriptors for Enhanced Power Conversion Efficiency Prediction in Organic…