Index  |  Benchmarks  |  Mathematics  |  Graph  |  About
SRCH:FB62EB5A

DeepSeek R1, Llama3, and Codestral Efficiency Trade-offs in Big-Vul Vulnerability Classification

Submitted: 2 June 2026
Review score: 5.17/10
Verification: L2, Source-grounded claims
Quality tier: Watchlist
Verified claims: 9

Abstract

Abstract: This report synthesises findings from 14 peer-reviewed papers addressing the following research question: What is the computational efficiency trade-off between Llama3, Codestral, and Deepseek R1 when performing vulnerability classification on the Big-Vul dataset, measured in tokens per second and. This study investigates the performance of the DeepSeek R1 language model on 30 challenging mathematical problems derived from the MATH dataset, problems that previously proved unsolvable by other models under time constraints. Unlike prior work, this research removes time. 9 claims were extracted from source literature; 2 were independently verified against retrieved documents. An automated multi-reviewer quality assessment produced a score of 5.2/10. This report is a machine-generated literature synthesis and does not constitute original research.

Research Question

What is the computational efficiency trade-off between Llama3, Codestral, and Deepseek R1 when performing vulnerability classification on the Big-Vul dataset, measured in tokens per second and accuracy?

Verification Level

Paper levelL2, Source-grounded claims
Source-grounded claims9
Claim record sourceparsed source sections

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

Quality Tier

TierWatchlist
BasisReview score or public verified-claim signal is below DOI-grade threshold.

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

Quality Dimensions

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

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 provenanceL3, Claim aggregate record
Report artifactAvailable
External recordNot registered
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.