2 papers
cs.LG2025
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Guanqin Zhang, Kota Fukuda, Zhenya Zhang +4
The vulnerability of neural networks to adversarial perturbations has necessitated formal verification techniques that can rigorously certify the quality of neural networks. As the…
cs.CR2025
Is Your AI Truly Yours? Leveraging Blockchain for Copyrights, Provenance, and Lineage
Qin Wang, Guangsheng Yu, Yilin Sai +2
As Artificial Intelligence (AI) integrates into diverse areas, particularly in content generation, ensuring rightful ownership and ethical use becomes paramount, AI service provide…