Zobrazeno 1 - 10
of 244
pro vyhledávání: '"Cui, Weidong"'
Autor:
Yang, Chenyuan, Li, Xuheng, Misu, Md Rakib Hossain, Yao, Jianan, Cui, Weidong, Gong, Yeyun, Hawblitzel, Chris, Lahiri, Shuvendu, Lorch, Jacob R., Lu, Shuai, Yang, Fan, Zhou, Ziqiao, Lu, Shan
Generative AI has shown its values for many software engineering tasks. Still in its infancy, large language model (LLM)-based proof generation lags behind LLM-based code generation. In this paper, we present AutoVerus. AutoVerus uses LLM to automati
Externí odkaz:
http://arxiv.org/abs/2409.13082
Static analysis, the process of examining code without executing it, is crucial for identifying software issues. Yet, static analysis is hampered by its complexity and the need for customization for different targets. Traditional static analysis tool
Externí odkaz:
http://arxiv.org/abs/2312.08477
Formal verification can provably guarantee the correctness of critical system software, but the high proof burden has long hindered its wide adoption. Recently, Large Language Models (LLMs) have shown success in code analysis and synthesis. In this p
Externí odkaz:
http://arxiv.org/abs/2311.03739
Autor:
Embaye, Tedla Medhane, Ahmed, Muhammed Bilal, Deng, Nan, Cui, Weidong, Bukhsh, Khuda, Zhang, Lan, Zhu, Lihua, Wang, Xuebin
Publikováno v:
In Process Safety and Environmental Protection September 2024 189:1274-1284
Autor:
Zhang, Su, Shi, Zhaochen, Shu, Yixiang, Zhang, Yili, Ma, Chuangang, Song, Qianjin, Cui, Weidong, Zhang, Lan, Wang, Xuebin
Publikováno v:
In Fuel 15 January 2025 380
Autor:
Shah, Arnik, Batabyal, Dipanwita, Qiu, Dayong, Cui, Weidong, Harrahy, John, Ivanov, Alexander R.
Publikováno v:
In Journal of Pharmaceutical Analysis August 2024 14(8)
Autor:
Ahmad, Muhammad Bilal, Embaye, Tedla Medhane, Meng, Zilan, Wang, Fengqin, Cui, Weidong, Bukhsh, Khuda, Deng, Shuanghui, Bai, Zongqing, Ruan, Renhui, Wang, Xuebin
Publikováno v:
In Journal of the Energy Institute June 2024 114
Autor:
Zhang, Su, Li, Zhan, Sun, Jinyu, Zhang, Yili, Xu, Wei, Cui, Weidong, Zhang, Lan, Wang, Xuebin
Publikováno v:
In Fuel 15 April 2024 362
Publikováno v:
In Talanta 1 January 2024 266 Part 1
Machine learning (ML) models deployed in many safety- and business-critical systems are vulnerable to exploitation through adversarial examples. A large body of academic research has thoroughly explored the causes of these blind spots, developed soph
Externí odkaz:
http://arxiv.org/abs/2007.07205