LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs

LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs | Signal Canvas | ScienceToStartup

Page Freshness

Signal Canvas proof surface

Canonical route: /signal-canvas/llm4branch-large-language-model-for-discovering-efficient-branching-policies-of-integer-programs

stale

Proof freshness: fresh
Proof status: unverified
Display score: 7/10
Last proof check: 2026-05-12
Score updated: 2026-05-12
Score fresh until: 2026-06-11
References: 0
Source count: 0
Coverage: 0%

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 llm4branch-large-language-model-for-discovering-efficient-branching-policies-of-integer-programs | Route /signal-canvas/llm4branch-large-language-model-for-discovering-efficient-branching-policies-of-integer-programs

REST example

curl https://sciencetostartup.com/api/v1/agent-handoff/signal-canvas/llm4branch-large-language-model-for-discovering-efficient-branching-policies-of-integer-programs

MCP example

{
  "tool": "search_signal_canvas",
  "arguments": {
    "mode": "paper",
    "paper_ref": "llm4branch-large-language-model-for-discovering-efficient-branching-policies-of-integer-programs",
    "query_text": "Summarize LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs"
  }
}

source_context

{
  "surface": "signal_canvas",
  "mode": "paper",
  "query": "LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs",
  "normalized_query": "2605.10401",
  "route": "/signal-canvas/llm4branch-large-language-model-for-discovering-efficient-branching-policies-of-integer-programs",
  "paper_ref": "llm4branch-large-language-model-for-discovering-efficient-branching-policies-of-integer-programs",
  "topic_slug": null,
  "benchmark_ref": null,
  "dataset_ref": null
}

Evidence Receipt

Route status: building

Claims: 0

References: Pending verification

Proof: Verification pending

Freshness state: computing

Source paper: LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs

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

Repository: https://github.com/hzn18/LLM4Branch

Source count: Pending verification

Coverage: 0%

Last proof check: 2026-05-12T20:15:23.286Z

Signal Canvas receipt window

Ready for execution: LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs

/buildability/llm4branch-large-language-model-for-discovering-efficient-branching-policies-of-integer-programs

Build Nowready

Subject: LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs

Verdict

LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs

Use Signal Canvas as the narrative proof surface

Use this Signal Canvas via API or MCP

Signal Canvas proof surface