{"entity":{"id":"12fc80c6-844e-4be6-9a7e-48a6f20fd1db","slug":"llm-based-processor-verification-a-case-study-for-neuromorphic-processor","wikidata_id":"openalex:W4401568701","name":"LLM-based Processor Verification: A Case Study for Neuromorphic Processor","wikidata_url":"https://www.wikidata.org/wiki/openalex:W4401568701"},"generated_at":"2026-11-06T02:36:12+00:00","notes":"as_of = the source edition date we serve. stale = edition age > the source's max_staleness SLA in the lake catalog; null = no SLA declared (never guessed). Wikidata-sourced statements are not listed: their lineage is the Wikidata item and its revision history.","sources":[],"facts":[],"conflicts":[],"prov":{"prefix":{"xyz":"https://4ort.xyz/ns/prov#","lake":"https://4ort.xyz/ns/lake#","pub":"https://4ort.xyz/ns/publisher#","mint":"https://4ort.xyz/ns/mint#","prov":"http://www.w3.org/ns/prov#"},"agent":{"xyz:4ort-mint":{"prov:type":"prov:SoftwareAgent","prov:label":"4ort-mint"}}},"corrections":"https://4ort.xyz/corrections"}