1.3k citations
- Tsinghua UniversityCN44 papers
- Xi'an Jiaotong UniversityCN44 papers
- Chinese Academy of SciencesCN40 papers
- Northwestern Polytechnical UniversityCN34 papers
- Peking UniversityCN34 papers
- Shanghai Jiao Tong UniversityCN29 papers
- Nanyang Technological UniversitySG28 papers
- Sun Yat-sen UniversityCN26 papers
- University of Chinese Academy of SciencesCN25 papers
- Zhejiang UniversityCN22 papers
- Southeast UniversityCN21 papers
- Beijing University of Posts and TelecommunicationsCN19 papers
61 papers · 1 filter
Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
Zhi Ma, Cheng Wen, Zhexin Su +4
Automating the translation of natural language (NL) software requirements into formal specifications remains a critical challenge in scaling formal verification practices to indust…
SITP: A High-Reliability Semantic Information Transport Protocol Without Retransmission for Semantic Communication
Yunhao Wang, Shuai Ma, Youlong Wu +4
With the evolution of 6G networks, modern communication systems are facing unprecedented demands for high reliability and low latency. However, conventional transport protocols are…
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Zhongyi Wang, Tengjie Lin, Mingshuai Chen +9
Fully automated verification of large-scale software and hardware systems is arguably the holy grail of formal methods. Large language models (LLMs) have recently demonstrated thei…
CIMinus: Empowering Sparse DNN Workloads Modeling and Exploration on SRAM-based CIM Architectures
Yingjie Qi, Jianlei Yang, Rubing Yang +5
Compute-in-memory (CIM) has emerged as a pivotal direction for accelerating workloads in the field of machine learning, such as Deep Neural Networks (DNNs). However, the effective…
AStF: Motion Style Transfer via Adaptive Statistics Fusor
Hanmo Chen, Chenghao Xu, Jiexi Yan +1
Human motion style transfer allows characters to appear less rigidity and more realism with specific style. Traditional arbitrary image style transfer typically process mean and va…
Exploration for Astromers near Sn with the Canadian Penning Trap
A. A. Valverde, S. Cupp, A. Gross +26
Nuclear isomers can have significant impacts on astrophysical nucleosynthesis processes, with recent efforts demonstrating that the population of isomeric states with different hal…