Knowledge Graph
Graph explorer
Search resolved entities, walk their edges, and read the sentence behind every one.
Entities25 of 207,987
- large language modeltechnology1,048 mentions
- robotic manipulationmarket834 mentions
- artificial intelligencetechnology739 mentions
- reinforcement learningtechnology492 mentions
- density-functional theorytechnology386 mentions
- Transformertechnology372 mentions
- vision-language-action modeltechnology355 mentions
- agentic AItechnology353 mentions
- Vision-Language Modeltechnology321 mentions
- U.S. Food and Drug Administrationorganization320 mentions
- Microsoftorganization291 mentions
- Googleorganization277 mentions
- NVIDIAorganization265 mentions
- Model Context Protocoltechnology232 mentions
- machine learningtechnology204 mentions
- MarketsandMarketsorganization199 mentions
- Claudeproduct192 mentions
- AI agenttechnology188 mentions
- ChatGPTproduct178 mentions
- Anthropicorganization177 mentions
- integrated sensing and communicationtechnology176 mentions
- Amazon Web Services, Inc.organization174 mentions
- OpenAIorganization172 mentions
- diffusion modeltechnology170 mentions
- IBMorganization163 mentions
Entity
Signal Temporal Logic
technology9 mentionslast seen Nov 9, 2026
Formal specification language used to express gait constraints for quadruped locomotion.
Relationships 11
- STePdepends onSignal Temporal Logic98% confidence1 source
- ScanSTLdepends onSignal Temporal Logic93% confidence1 source
- STePimplementsSignal Temporal Logic92% confidence1 source
- gait-aware quadruped locomotiondepends onSignal Temporal Logic92% confidence1 source
- SafeVLA-Bench: A Benchmark for the Success-Safety Gap in Vision-Language-Action Modelsdepends onSignal Temporal Logic92% confidence1 source
- mixed-integer linear encodingdepends onSignal Temporal Logic91% confidence1 source
- specification-aware action distribution optimizationimplementsSignal Temporal Logic90% confidence1 source
- EvoPlandepends onSignal Temporal Logic90% confidence1 source
- Signal Temporal Logicdepends onternary logic90% confidence1 source
- Safe-SDLdepends onSignal Temporal Logic85% confidence1 source
- Signal Temporal Logicimplementscontract quotient80% confidence1 source
Relationship
mixed-integer linear encodingdepends onSignal Temporal Logic
91% confidence1 supporting mentions
Either name opens that entity’s relationships.
Sources 1