消息
×
loading..
中文版 | English

在结果中检索

KMS

浏览/检索结果: 共4条，第1-4条 帮助

已选(0)清除 条数/页：   排序方式：
DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation 会议论文
ISSTA 2024 - PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, Vienna, Austria, September 16, 2024 - September 20, 2024
作者:  Yang, Mingke;  Chen, Yuqi;  Liu, Yi;  Shi, Ling
Adobe PDF(1443Kb)  |  收藏  |  浏览/下载：252/27  |  提交时间：2024/10/25
DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation 会议论文
ARXIV, null,Vienna,AUSTRIA, SEP 16-20, 2024
作者:  Yang, Mingke;  Chen, Yuqi;  Liu, Yi;  Shi, Ling
Adobe PDF(1353Kb)  |  收藏  |  浏览/下载：290/0  |  提交时间：2024/08/14
Automated Verification of Correctness for Masked Arithmetic Programs 会议论文
LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), Paris, France, July 17, 2023 - July 22, 2023
作者:  Liu, Mingyang;  Song, Fu;  Chen, Taolue
Adobe PDF(717Kb)  |  收藏  |  浏览/下载：387/140  |  提交时间：2023/11/24
Model-based automated testing of JavaScript Web applications via longer test sequences 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2022, 卷号: 16, 期号: 3
作者:  Gao, Pengfei;  Xu, Yongjie;  Song, Fu;  Chen, Taolue
Adobe PDF(757Kb)  |  收藏  |  浏览/下载：623/213  |  提交时间：2021/11/26
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页