Index  |  Benchmarks  |  Mathematics  |  Graph  |  About
SRCH:1007D4BA

Codestral-7B and Llama3-70B Inference Efficiency in C/C++ Vulnerability Detection

Submitted: 30 May 2026
Review score: 9.00/10
Verification: L2, Source-grounded claims
Quality tier: Flagship candidate
Verified claims: 9
DOI: 10.5281/zenodo.20461272

Abstract

Abstract: This report synthesises findings from 2 peer-reviewed papers addressing the following research question: What is the inference efficiency difference between Codestral-7B and Llama3-70B when fine-tuned on C/C++ security vulnerability detection tasks. Software vulnerabilities pose significant risks to the security and reliability of modern systems, making automated vulnerability detection an essential research area. Traditional static and rule-based approaches are limited in scalability and adaptability, motivating the. 9 claims were extracted from source literature; 9 were independently verified against retrieved documents. An automated multi-reviewer quality assessment produced a score of 9.0/10. This report is a machine-generated literature synthesis and does not constitute original research.

Research Question

What is the inference efficiency difference between Codestral-7B and Llama3-70B when fine-tuned on C/C++ security vulnerability detection tasks

Verification Level

Paper levelL2, Source-grounded claims
Source-grounded claims9
Claim record sourcenot publicly specified

Descriptive public verification status only; aggregate claim counts are public, but individual claim records are not exposed here.

Quality Tier

TierFlagship candidate
BasisReview score, verified-claim count, and public artifact coverage meet flagship-candidate thresholds.

Descriptive public triage only; this tier does not alter current publication or DOI behavior.

Quality Dimensions

Evidence strength MEDIUM
Citation grounding MEDIUM
Uncertainty disclosure MEDIUM
Reproducibility status HIGH

Automated triage signals derived from public fields; not human peer review or independent validation.

Correction Record

StatusCURRENT
Correction count0
Manifest contractpaper-manifest-v1.1
Correction contractcorrection-record-v1

Public corrections are additive records. Current status does not claim the synthesis is error-free.

Provenance

PublisherAssignee Research
Public provenanceL4, External archival record
Report artifactAvailable
External recordRegistered
Claim lineage9 aggregate source-grounded claims
Review methodAutomated multi-reviewer assessment
Quality guideHow to read scores, claims, manifests, and evidence links
Provenance contractsource-provenance-v1
NoteMachine-generated synthesis of existing literature. Not primary research.