4 papers
Matching Skeleton-based Activity Representations with Heterogeneous Signals for HAR
Shuheng Li, Jiayun Zhang, Xiaohan Fu +3
In human activity recognition (HAR), activity labels have typically been encoded in one-hot format, which has a recent shift towards using textual representations to provide contex…
Orthogonal Calibration for Asynchronous Federated Learning
Jiayun Zhang, Shuheng Li, Haiyu Huang +3
Asynchronous federated learning mitigates the inefficiency of conventional synchronous aggregation by integrating updates as they arrive and adjusting their influence based on stal…
Creating a Cooperative AI Policymaking Platform through Open Source Collaboration
Aiden Lewington, Alekhya Vittalam, Anshumaan Singh +48
Advances in artificial intelligence (AI) present significant risks and opportunities, requiring improved governance to mitigate societal harms and promote equitable benefits. Curre…
Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
Chenyang An, Zhibo Chen, Qihao Ye +6
Recent advances in Automated Theorem Proving have shown the effectiveness of leveraging a (large) language model that generates tactics (i.e. proof steps) to search through proof s…