2 papers
cs.HC2026
VizQStudio: Iterative Visualization Literacy MCQs Design with Simulated Students
Zixin Chen, Yuhang Zeng, Sicheng Song +4
Multiple-choice questions (MCQs) are a widely used educational tool, particularly in domains such as visualization literacy that require broad conceptual coverage and support diver…
cs.CR2025
Universally Composable Termination Analysis of Tendermint
Zhixin Dong, Xian Xu, Yuhang Zeng +2
Modern blockchain systems operating in adversarial environments require robust consensus protocols that guarantee both safety and termination under network delay attacks. Tendermin…