Checked, not settled
Probably holds up, but it is not settled.
“Under project-level group-aware evaluation on the Devign vulnerability-detection benchmark, CausalVul achieved 76.4% F1, 18.0 points above its fine-tuned CodeBERT backbone and 4.8 points above the UniXcoder baseline.”
3 of 4 review checks done · 1 counted · 2 by the author only
Leans supported · 0.7029 under ledger-default@0.3.0 at snapshot 27745 · review checks 1 of 4 · provisional until audited. The number is model-conditional, not a share of truth.
Share:
Checked in Galedra: score 0.70, leans supported · not yet reviewed by anyone else
“Under project-level group-aware evaluation on the Devign vulnerability-detection benchmark, CausalVul achieved 76.4% F1, 18.0 points above its fine-tuned CodeBERT backbone and 4.8 points above the…”
https://galedra.org/claims/9fd58c8b-17dd-861f-ac20-169b330f1be0/card
Or just the link: https://galedra.org/claims/9fd58c8b-17dd-861f-ac20-169b330f1be0/card
See the evidence · 
Galedra