3 papers
cs.AI2026
CLI-Universe: Towards Verifiable Task Synthesis Engine for Terminal Agents
Zhanbo Hua, Yifan Yao, Weihao Xie +14
While recent LLM-based terminal agents have demonstrated promising capabilities, the scarcity of high-quality, executable training data remains a critical bottleneck. Existing synt…
cs.AR2025
An Integrated UVM-TLM Co-Simulation Framework for RISC-V Functional Verification and Performance Evaluation
Ruizhi Qiu, Yang Liu
The burgeoning RISC-V ecosystem necessitates efficient verification methodologies for complex processors. Traditional approaches often struggle to concurrently evaluate functional…
cond-mat.mtrl-sci2024
Origin of the charge density wave state in BaFeAl
Yuping Li, Mingfeng Liu, Jiangxu Li +7
Recently, a first-order phase transition associated with charge density wave (CDW) has been observed at low temperatures in intermetallic compound BaFeAl. However, this tra…