Cite
Notes
Only stored in your browser.
Attribution
SWE-Skills-Bench: Do Agent Skills Actually Help in Real-World Software Engineering?
arXiv 2026
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
arXiv 2023
from 2 papers
Chunrong Fang
Lijie Hu
Lucas C. Cordeiro
Mohamed Amine Ferrag
Norbert Tihanyi
Ridhi Jain
Tingxu Han
Wei Song
Yi Zhang
Yiannis Charalambous