Knowledge Graph
Graph explorer
Search resolved entities, walk their edges, and read the sentence behind every one.
Entities25 of 207,987
- large language modeltechnology1,043 mentions
- robotic manipulationmarket824 mentions
- artificial intelligencetechnology739 mentions
- reinforcement learningtechnology491 mentions
- density-functional theorytechnology386 mentions
- Transformertechnology371 mentions
- agentic AItechnology353 mentions
- vision-language-action modeltechnology350 mentions
- U.S. Food and Drug Administrationorganization320 mentions
- Vision-Language Modeltechnology318 mentions
- Microsoftorganization291 mentions
- Googleorganization276 mentions
- NVIDIAorganization264 mentions
- Model Context Protocoltechnology232 mentions
- machine learningtechnology204 mentions
- MarketsandMarketsorganization199 mentions
- Claudeproduct192 mentions
- AI agenttechnology188 mentions
- ChatGPTproduct178 mentions
- Anthropicorganization177 mentions
- integrated sensing and communicationtechnology175 mentions
- Amazon Web Services, Inc.organization174 mentions
- OpenAIorganization172 mentions
- diffusion modeltechnology169 mentions
- IBMorganization163 mentions
Entity
formal verification
technology15 mentionslast seen Nov 12, 2026
A method for proving correctness and security properties of systems using mathematical proofs.
Relationships 18
- SVApshotdepends onformal verification90% confidence1 source
- Veri-Suredepends onformal verification90% confidence1 source
- formal verificationdepends onquantum approximate optimization algorithm88% confidence1 source
- formal verificationdepends onquantum singular value transformation85% confidence1 source
- formal verificationdepends onSAT solver85% confidence1 source
- formal verificationapplies toSystem-on-Chip security verification85% confidence1 source
- formal verificationapplies tohardware design automation85% confidence1 source
- Efficient SMT-Based Context-Bounded Model Checkerimplementsformal verification85% confidence1 source
- assurance casedepends onformal verification85% confidence1 source
- formal verificationapplies toclassical software verification85% confidence1 source
- formal verificationapplies toprecision medicine80% confidence1 source
- formal verificationapplies tosafety-critical robotic systems80% confidence1 source
- formal verificationdepends onfinite abstraction80% confidence1 source
- WEMIX3.0depends onformal verification80% confidence1 source
- Rocq proof assistantimplementsformal verification80% confidence1 source
- nuXmvimplementsformal verification80% confidence1 source
- agentic AIdepends onformal verification75% confidence1 source
- Flash Translation Layercomposed offormal verification75% confidence1 source
Relationship
Efficient SMT-Based Context-Bounded Model Checkerimplementsformal verification
85% confidence1 supporting mentions
Either name opens that entity’s relationships.
Sources 1