Buildability / Receipt
This public receipt window renders only fields present in the canonical receipt object, deterministic fixture receipt, or canonical evidence receipt. Missing compute, demo, hash, signature, approval, telemetry, and adoption fields stay explicit.
Public buildability page receipt window
/buildability/distilling-answer-set-programming-rules-from-llms-for-neurosymbolic-visual-question-answering
Subject: Distilling Answer-Set Programming Rules from LLMs for Neurosymbolic Visual Question Answering
Verdict
Watch
Verdict is Watch because viability or proof quality is intermediate and should be re-evaluated before execution.
Time to first demo
Insufficient data
No first-demo timestamp, owner estimate, or elapsed demo receipt is attached to this surface.
Data
## 50 Thomas Eiter, Nelson Higuera, Johannes Oetsch Description: Identifies lines based on their names. Variables: stepNumber (an integer indicating the computation step)
Truth Boundary
Buildability surfaces only report computed viability and proof receipts. They do not claim live production usage, pilot outcomes, founder sign-off, public Brier calibration, judge divergence, or external adoption unless explicitly sourced.
Compute
## 50 Thomas Eiter, Nelson Higuera, Johannes Oetsch Description: Identifies lines based on their names. Variables: stepNumber (an integer indicating the computation step). linesOnCount(stepNumber): Description: Counts the number of lines passing through a station or node
Inference
## 50 Thomas Eiter, Nelson Higuera, Johannes Oetsch Description: Identifies lines based on their names. Variables: stepNumber (an integer indicating the computation step). linesOnCount(stepNumber): Description: Counts the number of lines passing through a station or node
Hardware
## 50 Thomas Eiter, Nelson Higuera, Johannes Oetsch Description: Identifies lines based on their names. Variables: stepNumber (an integer indicating the computation step). linesOnCount(stepNumber): Description: Counts the number of lines passing through a station or node
Receipt path
/buildability/distilling-answer-set-programming-rules-from-llms-for-neurosymbolic-visual-question-answering
Paper ref
distilling-answer-set-programming-rules-from-llms-for-neurosymbolic-visual-question-answering
arXiv id
2606.03269
Generated at
2026-06-03T20:32:59.802Z
Evidence freshness
fresh
Last verification
2026-06-03T20:32:59.802Z
Sources
4
References
0
Coverage
83%
Lineage hash
11b6e5b9fb12b066c2cd30ae44da236ea938099887f92d8fbce5e7df8fc3dbc7
Canonical opportunity-kernel lineage hash.
External signature
unsigned_external
No founder, registry, pilot, or production-adoption signature is attached to this receipt.
Verification
not_verified
Verification is blocked until an external signature is provided.
Canonical opportunity-kernel evidence is available for this receipt window.
references