{"schema_version":"papers/paper-detail-v1","title":"Inference-Time Code Selection via Symbolic Equivalence Partitioning","surface":"papers","opportunity_kernel":{"paper_id":"f0ce8944-f7e7-4db2-809e-7dc087ebe95c","title":"Inference-Time Code Selection via Symbolic Equivalence Partitioning","authors":["David Cho","Yifan Wang","Fanping Sui","Ananth Grama"],"arxiv_id":"2604.06485v1","doi":null,"published_at":"2026-04-07T21:37:59.000Z","score_object":{"overall":{"value":7,"scale":"0-10","confidence":0.85,"confidence_reason":"Backfilled from persisted papers.viability_score.","model_version":"phase0-web-fallback-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-09T20:10:02.053Z","fresh_until":"2026-05-09T20:10:02.053Z","is_stale":true,"source_count":1,"missingness":[]},"technical":{"value":0,"scale":"0-10","confidence":0.15,"confidence_reason":"No canonical technical score row was available yet; marked low confidence.","model_version":"phase0-web-fallback-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-09T20:10:02.053Z","fresh_until":"2026-04-23T20:10:02.053Z","is_stale":true,"source_count":0,"missingness":["paper_score_objects.technical"]},"commercial":{"value":0,"scale":"0-10","confidence":0.7,"confidence_reason":"Backfilled from persisted commercial_flags and repo availability.","model_version":"phase0-web-fallback-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-09T20:10:02.053Z","fresh_until":"2026-05-09T20:10:02.053Z","is_stale":true,"source_count":1,"missingness":[]},"market":{"value":0,"scale":"0-10","confidence":0.15,"confidence_reason":"No canonical market score row was available yet; marked low confidence.","model_version":"phase0-web-fallback-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-09T20:10:02.053Z","fresh_until":"2026-04-23T20:10:02.053Z","is_stale":true,"source_count":0,"missingness":["paper_score_objects.market"]},"team":{"value":0,"scale":"0-10","confidence":0.15,"confidence_reason":"No canonical team score row was available yet; marked low confidence.","model_version":"phase0-web-fallback-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-09T20:10:02.053Z","fresh_until":"2026-04-23T20:10:02.053Z","is_stale":true,"source_count":0,"missingness":["paper_score_objects.team"]},"methodology":{"value":0,"scale":"0-10","confidence":0.15,"confidence_reason":"No canonical methodology score row was available yet; marked low confidence.","model_version":"phase0-web-fallback-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-09T20:10:02.053Z","fresh_until":"2026-05-09T20:10:02.053Z","is_stale":true,"source_count":0,"missingness":["paper_score_objects.methodology"]}},"evidence_receipt":{"freshness":"unknown","proof_status":"unverified","repo_status":"missing","references_count":0,"source_count":0,"coverage":0,"missingness":["paper_evidence_receipts.references_count","paper_evidence_receipts.coverage"],"unresolved_unknowns":["Canonical evidence receipt has not been materialized yet."],"last_verification_at":"2026-04-09T20:10:02.053Z"},"lineage_hash":"2883644d35f24b1ea2167d07af24ce4226a596fc5e5f6d19d97f9dd730e14de0"},"distribution":null,"replication_evidence":[],"author_dna":[]}