tera.ai

Knowledge Graph

Graph explorer

Search resolved entities, walk their edges, and read the sentence behind every one.

Entities25 of 207,987

All entities

Entity

VeriFormer

technology1 mentionslast seen Oct 20, 2026

Module that uses learnable query tokens and two-stage training to extract code-relevant structural features.

Relationships 1

VeriFormer

Relationship

VeriFormerdepends onknowledge distillation

80% confidence1 supporting mentions

Either name opens that entity’s relationships.

Sources 1