@prefix schema: <https://schema.org/> .
@prefix af: <https://anchorfact.org/ns#> .

<https://anchorfact.org/kb/ai/ai-smart-contract-audit>
  a schema:article ;
  schema:headline "AI Smart Contract Auditing: Vulnerability Detection, Formal Verification, and Blockchain Security" ;
  schema:url <https://anchorfact.org/ai/ai-smart-contract-audit/> ;
  af:status "public" ;
  af:confidence "medium" ;
  af:confidenceScore "0.78" ;
  af:confidenceBasis "verified_sources" ;
  af:generationMethod "ai_structured" .

<https://anchorfact.org/kb/ai/ai-smart-contract-audit>
  schema:citation <https://arxiv.org/abs/1908.09878> ;
  af:sourceTier "A" .

<https://anchorfact.org/kb/ai/ai-smart-contract-audit>
  schema:citation <https://eprint.iacr.org/2016/633.pdf> ;
  af:sourceTier "A" .

<https://anchorfact.org/kb/ai/ai-smart-contract-audit>
  schema:citation <https://arxiv.org/abs/2007.04771> ;
  af:sourceTier "A" .