1 citations · 2 across the 4 of their papers we have counts for
4 papers
The intelligent prediction and assessment of financial information risk in the cloud computing model
Yufu Wang, Mingwei Zhu, Jiaqiang Yuan +2
Cloud computing (cloud computing) is a kind of distributed computing, referring to the network "cloud" will be a huge data calculation and processing program into countless small p…
The Quantum Abstract Machine
Liyi Li, Le Chang, Rance Cleaveland +2
This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The wor…
Benchmarking Sequential Visual Input Reasoning and Prediction in Multimodal Large Language Models
Mingwei Zhu, Leigang Sha, Yu Shu +3
Multimodal large language models (MLLMs) have shown great potential in perception and interpretation tasks, but their capabilities in predictive reasoning remain under-explored. To…
CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety
Liyi Li, Arunkumar Bhattar, Le Chang +2
Spatial memory safety violation is still a major issue for C programs. Checked-C is a safe dialect of C and extends it with Checked pointer types and annotations that guarantee spa…