Mohamed Amine Ferrag

Ferrag's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored 7 papers 2 days ago

A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification

Paper • 2305.14752 • Published May 24, 2023 • 1

CyberMetric: A Benchmark Dataset for Evaluating Large Language Models Knowledge in Cybersecurity

Paper • 2402.07688 • Published Feb 12, 2024 • 2

Generative AI and Large Language Models for Cyber Security: All Insights You Need

Paper • 2405.12750 • Published May 21, 2024 • 2

Vulnerability Detection: From Formal Verification to Large Language Models and Hybrid Approaches: A Comprehensive Overview

Paper • 2503.10784 • Published Mar 13 • 1

From LLM Reasoning to Autonomous AI Agents: A Comprehensive Review

Paper • 2504.19678 • Published Apr 28 • 2

Reasoning Beyond Limits: Advances and Open Problems for LLMs

Paper • 2503.22732 • Published Mar 26

I Know Which LLM Wrote Your Code Last Summer: LLM generated Code Stylometry for Authorship Attribution

Paper • 2506.17323 • Published 8 days ago • 4