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

<https://anchorfact.org/kb/ai/program-synthesis-verification>
  a schema:article ;
  schema:headline "Program Synthesis and Formal Verification: Neural Theorem Proving with LLMs" ;
  schema:url <https://anchorfact.org/ai/program-synthesis-verification/> ;
  af:status "public" ;
  af:confidence "medium" ;
  af:confidenceScore "0.78" ;
  af:confidenceBasis "verified_sources" ;
  af:generationMethod "ai_structured" .

<https://anchorfact.org/kb/ai/program-synthesis-verification>
  schema:citation <https://link.springer.com/article/10.1007/s10009-012-0249-7> ;
  af:sourceTier "A" .

<https://anchorfact.org/kb/ai/program-synthesis-verification>
  schema:citation <https://arxiv.org/abs/1405.5590> ;
  af:sourceTier "A" .

<https://anchorfact.org/kb/ai/program-synthesis-verification>
  schema:citation <https://www.kroening.com/papers/cav2018-synthesis.pdf> ;
  af:sourceTier "A" .