2 papers
quant-ph2026
QSolver: A Quantum Constraint Solver
Shangzhou Xia, Haitao Fu, Jianjun Zhao
With the growing interest in quantum programs, ensuring their correctness is a fundamental challenge. Although constraint-solving techniques can overcome some limitations of tradit…
cs.SD2024
PolyGlotFake: A Novel Multilingual and Multimodal DeepFake Dataset
Yang Hou, Haitao Fu, Chuankai Chen +3
With the rapid advancement of generative AI, multimodal deepfakes, which manipulate both audio and visual modalities, have drawn increasing public concern. Currently, deepfake dete…