Lv1
30 积分 2024-12-11 加入
Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification
29天前
已完结
A Multi-dataset Evaluation of Models for Automated Vulnerability Repair
2个月前
已关闭
VDMAF: Cross-language source code vulnerability detection using multi-head attention fusion
2个月前
已完结
ReVul-CoT: Towards effective software vulnerability assessment with retrieval-augmented generation and chain-of-thought prompting
3个月前
已关闭
Learning-based models for vulnerability detection: an extensive study
4个月前
已完结
A dual graph neural networks model using sequence embedding as graph nodes for vulnerability detection
4个月前
已完结
A novel approach for software vulnerability detection based on ensemble learning model
5个月前
已关闭
A New Framework for Software Vulnerability Detection Based on an Advanced Computing
5个月前
已完结
An advanced computing approach for software vulnerability detection
5个月前
已完结
An advanced computing approach for software vulnerability detection
5个月前
已完结
皖公网安备34019202002308
