Résultats de la recherche - Song, Fu

Towards Efficient Verification of Constant-Time Cryptographic Implementations par Cai, Luwei, Song, Fu, Chen, Taolue

Accéder au texte intégral

NCCR: to Evaluate the Robustness of Neural Networks and Adversarial Examples par Pu, Shi, Song, Fu, Wang, Wenjie

Accéder au texte intégral

SimCert: Probabilistic Certification for Behavioral Similarity in Deep Neural Network Compression par Li, Jingyang, Song, Fu, Li, Guoqiang

Accéder au texte intégral

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification par Li, Jingyang, Song, Fu, Li, Guoqiang

Accéder au texte intégral

LaserGuider: A Laser Based Physical Backdoor Attack against Deep Neural Networks par Xu, Yongjie, Chen, Guangke, Song, Fu, Chen, Yuqi

Accéder au texte intégral

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems par Zhang, Yedi, Song, Fu, Chen, Taolue, Wu, Xuzhi

Accéder au texte intégral

When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference par Sun, Zhensu, Du, Xiaoning, Song, Fu, Wang, Shangwen, Li, Li

Accéder au texte intégral

Decision Procedure for A Theory of String Sequences par Hu, Denghang, Chen, Taolue, Rümmer, Philipp, Song, Fu, Wu, Zhilin

Accéder au texte intégral

SongBsAb: A Dual Prevention Approach against Singing Voice Conversion based Illegal Song Covers par Chen, Guangke, Zhang, Yedi, Song, Fu, Wang, Ting, Du, Xiaoning, Liu, Yang

Accéder au texte intégral

FDI: Attack Neural Code Generation Systems through User Feedback Channel par Sun, Zhensu, Du, Xiaoning, Luo, Xiapu, Song, Fu, Lo, David, Li, Li

Accéder au texte intégral

Can LLM Aid in Solving Constraints with Inductive Definitions? par Feng, Weizhi, Shen, Shidong, Liu, Jiaxiang, Chen, Taolue, Song, Fu, Wu, Zhilin

Accéder au texte intégral

Optimal Circuit Synthesis of Linear Codes for Error Detection and Correction par Yang, Xi, Chen, Taolue, Chen, Yuqi, Song, Fu, Wang, Chundong, Wu, Zhilin

Accéder au texte intégral

Verification of Bit-Flip Attacks against Quantized Neural Networks par Zhang, Yedi, Huang, Lei, Gao, Pengfei, Song, Fu, Sun, Jun, Dong, Jin Song

Accéder au texte intégral

Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems par Sun, Zhensu, Du, Xiaoning, Song, Fu, Wang, Shangwen, Ni, Mingze, Li, Li, Lo, David

Accéder au texte intégral

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency par Liu, Zongxin, Zhao, Zhe, Song, Fu, Sun, Jun, Yang, Pengfei, Huang, Xiaowei, Zhang, Lijun

Accéder au texte intégral

A Formally Verified Procedure for Width Inference in FIRRTL par Wang, Keyin, Shi, Xiaomu, Liu, Jiaxiang, Wu, Zhilin, Chen, Taolve, Song, Fu, Jansen, David N.

Accéder au texte intégral

AudioJailbreak: Jailbreak Attacks against End-to-End Large Audio-Language Models par Chen, Guangke, Song, Fu, Zhao, Zhe, Jia, Xiaojun, Liu, Yang, Qiao, Yanchen, Zhang, Weizhe, Tu, Weiping, Yang, Yuhong, Du, Bo

Accéder au texte intégral

TGF ‐β1 Down‐Regulates Vascular Cell Adhesion Molecule 1 in Porcine Follicular Granulosa Cells Through Smad2 Signalling Pathways par Yanzi Lin, Haojie Ouyang, Song Fu, Juanru Cheng, Yuying Wu, Huiting Qin, Yanyan Yang, Deshun Shi, Lingxiu Zou, Yanfei Deng

Accéder au texte intégral