Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables

Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables | Signal Canvas | ScienceToStartup

Page Freshness

Signal Canvas proof surface

Canonical route: /signal-canvas/neural-scalable-symbolic-search-framework-for-complex-logical-queries-with-multiple-free-variables

stale

Proof freshness: stale
Proof status: unverified
Display score: 0/10
Last proof check: 2026-05-27
Score updated: 2026-05-26
Score fresh until: 2026-06-25
References: 0
Source count: 4
Coverage: 67%

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 neural-scalable-symbolic-search-framework-for-complex-logical-queries-with-multiple-free-variables | Route /signal-canvas/neural-scalable-symbolic-search-framework-for-complex-logical-queries-with-multiple-free-variables

REST example

curl https://sciencetostartup.com/api/v1/agent-handoff/signal-canvas/neural-scalable-symbolic-search-framework-for-complex-logical-queries-with-multiple-free-variables

MCP example

{
  "tool": "search_signal_canvas",
  "arguments": {
    "mode": "paper",
    "paper_ref": "neural-scalable-symbolic-search-framework-for-complex-logical-queries-with-multiple-free-variables",
    "query_text": "Summarize Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables"
  }
}

source_context

{
  "surface": "signal_canvas",
  "mode": "paper",
  "query": "Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables",
  "normalized_query": "2605.25985",
  "route": "/signal-canvas/neural-scalable-symbolic-search-framework-for-complex-logical-queries-with-multiple-free-variables",
  "paper_ref": "neural-scalable-symbolic-search-framework-for-complex-logical-queries-with-multiple-free-variables",
  "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: Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables

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

Repository: https://github.com/HKUST-KnowComp/NS3_KDD2026

Source count: 4

Coverage: 67%

Last proof check: 2026-05-27T00:04:10.485Z

Signal Canvas receipt window

Not build-ready: Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables

/buildability/neural-scalable-symbolic-search-framework-for-complex-logical-queries-with-multiple-free-variables

Ignoreblocked

Subject: Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables

Verdict

Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables

Use Signal Canvas as the narrative proof surface

Use this Signal Canvas via API or MCP

Signal Canvas proof surface