Graph Construction and Matching for Imperative Programs using Neural and Structural Methods

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods | Signal Canvas | ScienceToStartup

Page Freshness

Signal Canvas proof surface

Canonical route: /signal-canvas/graph-construction-and-matching-for-imperative-programs-using-neural-and-structural-methods

stale

Proof freshness: stale
Proof status: unverified
Display score: 4/10
Last proof check: 2026-04-30
Score updated: 2026-04-30
Score fresh until: 2026-05-30
References: 0
Source count: 3
Coverage: 50%

This page is showing the last landed evidence receipt and score bundle because the latest proof data is outside the freshness window.

Agent Handoff

Canonical ID graph-construction-and-matching-for-imperative-programs-using-neural-and-structural-methods | Route /signal-canvas/graph-construction-and-matching-for-imperative-programs-using-neural-and-structural-methods

REST example

curl https://sciencetostartup.com/api/v1/agent-handoff/signal-canvas/graph-construction-and-matching-for-imperative-programs-using-neural-and-structural-methods

MCP example

{
  "tool": "search_signal_canvas",
  "arguments": {
    "mode": "paper",
    "paper_ref": "graph-construction-and-matching-for-imperative-programs-using-neural-and-structural-methods",
    "query_text": "Summarize Graph Construction and Matching for Imperative Programs using Neural and Structural Methods"
  }
}

source_context

{
  "surface": "signal_canvas",
  "mode": "paper",
  "query": "Graph Construction and Matching for Imperative Programs using Neural and Structural Methods",
  "normalized_query": "2604.26578",
  "route": "/signal-canvas/graph-construction-and-matching-for-imperative-programs-using-neural-and-structural-methods",
  "paper_ref": "graph-construction-and-matching-for-imperative-programs-using-neural-and-structural-methods",
  "topic_slug": null,
  "benchmark_ref": null,
  "dataset_ref": null
}

Evidence Receipt

Route status: building

Claims: 1

References: Pending verification

Proof: Verification pending

Freshness state: computing

Source paper: Graph Construction and Matching for Imperative Programs using Neural and Structural Methods

PDF: https://arxiv.org/pdf/2604.26578v1

Source count: 3

Coverage: 50%

Last proof check: 2026-04-30T15:12:58.879Z

Signal Canvas receipt window

Not build-ready: Graph Construction and Matching for Imperative Programs using Neural and Structural Methods

/buildability/graph-construction-and-matching-for-imperative-programs-using-neural-and-structural-methods

Ignoreblocked

Subject: Graph Construction and Matching for Imperative Programs using Neural and Structural Methods

Verdict

Ignore

Verdict is Ignore because current viability and proof state do not clear the buildability gate.

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods

Use Signal Canvas as the narrative proof surface

Use this Signal Canvas via API or MCP

Signal Canvas proof surface