الباحثون

Nan Guan

المنشورات 2

نسخة أولية وصول مفتوح

ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents

Junyi Liu, Tianchi Ren, Fei Guan وآخرون · 2026

Rigorous schedulability analysis is essential for the design of hard real-time systems, yet errors in pen-and-paper proofs threaten the safety of critical applications. The Prosa initiative addresses this by offering a foundation for building machine-checkable schedulability analysis proofs in the Rocq proof assistant. …

نسخة أولية وصول مفتوح

MW-Nowcast: Six-hour ensemble nowcasting of extreme precipitation

Ning Wang, Zuliang Fang, Weixin Jin وآخرون · 2026

Extending reliable nowcasting of extreme precipitation could provide critical additional time for warnings and emergency response during high-impact events such as flash floods. Radar-based generative machine-learning models have enabled skilful hyperlocal precipitation nowcasting, but accurate prediction of intense pr …

المؤلفون المشاركون