Repository for the paper "Large Language Model-Based Agents for Software Engineering: A Survey". Keep updating.
-
Updated
Nov 26, 2024
#
llm-based-agents
Here are 2 public repositories matching this topic...
We introduce a benchmark for testing how well LLMs can find vulnerabilities in cryptographic protocols. By combining LLMs with symbolic reasoning tools like Tamarin, we aim to improve the efficiency and thoroughness of protocol analysis, paving the way for future AI-powered cybersecurity defenses.
cryptography communication-protocol evaluation vulnerability-detection llm-reasoning llm-benchmarking llm-based-agents
-
Updated
Nov 4, 2024 - Haskell
Improve this page
Add a description, image, and links to the llm-based-agents topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the llm-based-agents topic, visit your repo's landing page and select "manage topics."