Opportunity summary
Score8.0Public score shown from the verified overall while the stale axis breakdown refreshesThis canonical paper page includes Commercialization Proof and Related Resources.
ARXIV:2604.12913 · DECOMPILATION · SUBMITTED 15 APR · 16:58 UTC · FRESHNESS STALE
ARXIV:2604.12913DECOMPILATIONSUBMITTED 15 APR · 16:58 UTCFRESHNESS STALEQiang Zhang · Zhongnian Li · arXiv
CoDe-R refines decompiler output using LLMs with rationale guidance and adaptive inference, achieving state-of-the-art re-executability for lightweight models.
Opportunity summary
Pain CoDe-R refines decompiler output using LLMs with rationale guidance and adaptive inference, achieving state-of-the-art re-executability for lightweight models.
Evidence 0 refs | 4 sources | 67% coverage
Blocker Evidence unverified
CoDe-R refines decompiler output using LLMs with rationale guidance and adaptive inference, achieving state-of-the-art re-executability for lightweight models. Although Large Language Models (LLMs) have recently shown promise, they often suffer from "logical hallucinations" and…
Binary decompilation is a critical reverse engineering task aimed at reconstructing high-level source code from stripped executables. Although Large Language Models (LLMs) have recently shown promise, they often suffer from "logical hallucinations" and "semantic…
ScienceToStartup currently rates this 8.0/10 on the public viability pass. Evaluation on the HumanEval-Decompile benchmark demonstrates that CoDe-R (using a 1.3B backbone) establishes a new State-of-the-Art (SOTA) in the lightweight regime. A public repository…
Decompilation moved forward this cycle; last verified April 2026. Public score 8.0/10. Implementation evidence is present through a linked repository.
Continue into Read for claims, analysis, references, and neighboring papers.
mobile layout uses overflow-hidden min-w-0 break-wordsOpportunity summary
Score8.0Public score shown from the verified overall while the stale axis breakdown refreshesAnalysis summary
CoDe-R refines decompiler output using LLMs with rationale guidance and adaptive inference, achieving state-of-the-art re-executability for lightweight models.
Loading BUILD…
Paper Pack
10.48550/arXiv.2604.12913CoDe-R refines decompiler output using LLMs with rationale guidance and adaptive inference, achieving state-of-the-art re-executability for lightweight models.
Abstract
Binary decompilation is a critical reverse engineering task aimed at reconstructing high-level source code from stripped executables. Although Large Language Models (LLMs) have recently shown promise, they often suffer from "logical hallucinations" and "semantic misalignment" due to the irreversible semantic loss during compilation, resulting in generated code that fails to re-execute. In this study, we propose Cognitive Decompiler Refinement with Robustness (CoDe-R), a lightweight two-stage code refinement framework. The first stage introduces Semantic Cognitive Enhancement (SCE), a Rationale-Guided Semantic Injection strategy that trains the model to recover high-level algorithmic intent alongside code. The second stage introduces a Dynamic Dual-Path Fallback (DDPF) mechanism during inference, which adaptively balances semantic recovery and syntactic stability via a hybrid verification strategy. Evaluation on the HumanEval-Decompile benchmark demonstrates that CoDe-R (using a 1.3B backbone) establishes a new State-of-the-Art (SOTA) in the lightweight regime. Notably, it is the first 1.3B model to exceed an Average Re-executability Rate of 50.00%, significantly outperforming the baseline and effectively bridging the gap between efficient models and expert-level performance. Our code is available at https://github.com/Theaoi/CoDe-R.
Source availability
PDF linkedThe paper record includes a public PDF URL.
Extraction status
Parse run linkedA document parse run is attached to this paper.
Proof status
unverified0 refs; 4 sources; 67% coverage.
What was readable
Derived fallback: Estimated from adjacent evidence; not verified from source.
Viability
Time to MVP
Commercial
Export
Preparing verified analysis
Dimensions overall score 8.0
PROBLEM
CoDe-R refines decompiler output using LLMs with rationale guidance and adaptive inference, achieving state-of-the-art re-executability for lightweight models. Although Large Language Models (LLMs) have recently shown promise, they often suffer from "logical hallucinations" and...
METHOD
Binary decompilation is a critical reverse engineering task aimed at reconstructing high-level source code from stripped executables. Although Large Language Models (LLMs) have recently shown promise, they often suffer from "logical hallucinations" and "semantic misalignment" du...
RESULT
ScienceToStartup currently rates this 8.0/10 on the public viability pass. Evaluation on the HumanEval-Decompile benchmark demonstrates that CoDe-R (using a 1.3B backbone) establishes a new State-of-the-Art (SOTA) in the lightweight regime. A public repository is linked, so buil...
WHY NOW
Decompilation moved forward this cycle; last verified April 2026. Public score 8.0/10. Implementation evidence is present through a linked repository.
Abstract-backed public claims while anchored extraction refreshes.
CoDe-R refines decompiler output using LLMs with rationale guidance and adaptive inference, achieving state-of-the-art re-executability for lightweight models. Although Large Language Models (LLMs) have recently shown promise, they often suffer from "logical hallucinations" and "semantic misalignment" due to the irreversible semantic loss during compilation, resulting in generated code that fails to re-execute.
Abstract-backed fallback claim; anchored extraction has not materialized a public claim row yet.
partial
Binary decompilation is a critical reverse engineering task aimed at reconstructing high-level source code from stripped executables. Although Large Language Models (LLMs) have recently shown promise, they often suffer from "logical hallucinations" and "semantic misalignment" due to the irreversible semantic loss during compilation, resulting in generated code that fails to re-execute.
Abstract-backed fallback claim; anchored extraction has not materialized a public claim row yet.
partial
ScienceToStartup currently rates this 8.0/10 on the public viability pass. Evaluation on the HumanEval-Decompile benchmark demonstrates that CoDe-R (using a 1.3B backbone) establishes a new State-of-the-Art (SOTA) in the lightweight regime. A public repository is linked, so build verification can inspect implementation evidence instead of treating the paper as PDF-only.
Abstract-backed fallback claim; anchored extraction has not materialized a public claim row yet.
partial
Decompilation moved forward this cycle; last verified April 2026. Public score 8.0/10. Implementation evidence is present through a linked repository.
Abstract-backed fallback claim; anchored extraction has not materialized a public claim row yet.
partial
Paper-native neighborhood for concepts, methods, materials, markets, and competitors. Missing lanes stay labeled instead of disappearing behind commercialization gates.
Concepts
Methods
Materials
Markets
Competitors
CoDe-R refines decompiler output using LLMs with rationale guidance and adaptive inference, achieving state-of-the-art re-executability for lightweight models.
Segment
Decompilation
Adoption evidence
Public code linked for build inspection
Commercial read
8.0/10 public viability
Direct
Adjacent
Substitute
Unknown
No indexed public discussion is attached to 2604.12913 yet. That is a visibility signal, not a blank module: the monitor is watching the public channels below.
Hacker News
Not indexed yet
Not indexed yet
Bluesky
Not indexed yet
Preview the source document here, or use the hero PDF action for a new tab.
Reference metadata is not materialized in the public index yet. The source PDF remains the authority; cache refresh is optional.
CITED BY
No citing papers are indexed in the public S2S graph yet. This is an explicit zero-signal state, not a hidden lookup.
Foundation
Extension
Commercially relevant
Owned Distribution
Get the weekly shortlist of commercializable papers, benchmark movers, and proof receipts that matter for product execution.
2/3 checks · 67%
Prototype path
partialhttps://sciencetostartup.com/api/v1/paper/2604.12913v1/build-passport
Source: Build Passport tarball route.
Required assets
verifiedDockerfile.minimal, RUN.sh, EXPECTED_OUTPUT.json, sbom.spdx.json
All required asset routes are present.
Dependencies
partialSBOM route attached; dependency contents require artifact review.
https://jdeeoknqehdvwmyoyayl.supabase.co/storage/v1/object/public/build-passports/2604.12913v1/0e9f1a665217d4d4a58d7fe0b2b492b065f0da0613ea18e6d1a04cf22c2504d8/sbom.spdx.json
Regulatory flags
missingNo regulatory classification attached.
Build Passport payload does not include regulatory flags.
Validation plan
verifiedProof chip reports VERIFIED.
Proof status VERIFIED; computed 2026-04-26T17:09:22.295483+00:00.
Blockers
verifiedNo Build Passport artifact blocker recorded.
Observed cost $0.00.
Build brief generated from Build Passport metadata.
Computed 2026-04-26T17:09:22.295483+00:00.
Prototype path is verified; live transcript still needs attachment.
Proof status VERIFIED.
Validation checklist missing until assets, cost, and regulatory flags are verified.
No checklist artifact is attached to the Build Passport payload.
Derived signals show verified:false until source-backed receipts exist.
Evidence coverage
OpportunityKernel evidence_receipt
0 refs / 4 sources / 67% coverage
stale
Verify missing sources before using this as buyer proof. verified:false
Build readiness
BuildPassport EvidenceState
passport present; proof VERIFIED
stale
Run Proof Lab or inspect typed missing state. verified:false
Artifact maturity
GitHub and Hugging Face maturity payloads
No public artifact surface observed
stale
Open source artifacts or mark the gap as missing. verified:false
Technical feasibility
verified
Current read
Build Passport proof is verified.
Evidence
Build Passport proof status VERIFIED.
Gaps
No gap recorded.
Next test
Re-run Proof Lab smoke before release.
Market urgency
missing
Current read
Buyer urgency is not verified from source.
Evidence
0 references, 4 sources, 67% evidence coverage.
Gaps
Next test
Collect buyer interview, deployment evidence, or cited demand signal.
Buyer clarity
missing
Current read
No budget owner is verified for this paper.
Evidence
Build tab has no CRM, procurement, or operator source.
Gaps
Next test
Map target operator, economic buyer, and procurement trigger.
Defensibility
missing
Current read
Defensibility signals are missing.
Evidence
No defensibility receipt attached.
Gaps
Next test
Refresh defensibility bars with source receipts.
Integration burden
missing
Current read
No public implementation surface observed.
Evidence
No GitHub or Hugging Face payload attached.
Gaps
Next test
Write integration checklist from prototype path and target workflow.
Capital intensity
partial
Current read
Observed Proof Lab cost $0.00.
Evidence
Source: Build Passport cost passport.
Gaps
No gap recorded.
Next test
Run cost passport or mark the cost field not applicable.
Regulatory load
missing
Current read
No regulatory classification is attached.
Evidence
Build Passport ledger does not include regulatory flags.
Gaps
Next test
Classify regulatory flags before commercialization planning.
No named scientific founder assigned.
Paper authors are not treated as operators without consent.
People
No named person assigned.
Gaps
Next verification path
Prototype owner missing.
Build Passport does not name an implementer.
People
No named person assigned.
Gaps
Next verification path
Operator workflow not sourced.
No buyer or workflow interview attached.
People
No named person assigned.
Gaps
Next verification path
No GTM owner verified.
No CRM or outreach source attached.
People
No named person assigned.
Gaps
Next verification path
Regulatory need unclassified.
No clinical or regulatory source attached.
People
No named person assigned.
Gaps
Next verification path
ARTIFACTS
No public artifacts yet.
DEFENSIBILITY
Defensibility and confidence evidence pending.
WATCHTOWER
No verified watchtower monitor rows yet.
FORESIGHT
No prediction yet — minted on next Foresight batch.
OPPORTUNITYKERNEL CHANGES SINCE LAST VIEW
No verified OpportunityKernel changes since the last view.
COMPETITIVE LANDSCAPE UPDATES
No verified competitive landscape changes yet.
RELATED PAPER UPDATES
No verified related paper changes yet.
SIGNAL CANVAS HISTORY AND DELTAS
No Signal Canvas history deltas yet.
TIMELINE
Save this paper to start tracking momentum - commits, demos, and score changes appear here.
No tracked events yet.
Score trend will appear after multiple data points.
BUZZ
Buzz trend pending.