{"schema_version":"papers/paper-detail-v1","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","surface":"papers","opportunity_kernel":{"paper_id":"d8e31187-dfa3-4604-b83c-67cd103a1a36","title":"Awakening the Sleeping Agent: Lean-Specific Agentic Data Reactivates General Tool Use in Goedel Prover","authors":["Jui-Hui Chung","Hongzhou Lin","Lai Jiang","Shange Tang","Chi Jin"],"arxiv_id":"2604.08388v1","doi":null,"published_at":"2026-04-09T15:47:29.000Z","score_object":{"overall":{"value":7,"scale":"0-10","confidence":0.85,"confidence_reason":"Backfilled from persisted papers.viability_score.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-10T17:23:18.936Z","fresh_until":"2026-05-10T17:23:18.936Z","is_stale":true,"source_count":1,"missingness":[]},"technical":{"value":1.4,"scale":"0-10","confidence":0.55,"confidence_reason":"Backfilled from paper_extraction_scorecards.reconstruction_score.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-10T17:23:31.507Z","fresh_until":"2026-04-24T17:23:31.507Z","is_stale":true,"source_count":1,"missingness":["reproducibility_results.reproducibility_score","deployability_scores.score"]},"commercial":{"value":4,"scale":"0-10","confidence":0.75,"confidence_reason":"Backfilled from persisted commercial_flags and repo availability.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-10T17:23:18.936Z","fresh_until":"2026-05-10T17:23:18.936Z","is_stale":true,"source_count":1,"missingness":[]},"market":{"value":2,"scale":"0-10","confidence":0.8,"confidence_reason":"Backfilled from distribution_readiness_scores.score.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-10T17:36:32.468Z","fresh_until":"2026-04-24T17:36:32.468Z","is_stale":true,"source_count":1,"missingness":[]},"team":{"value":6.5,"scale":"0-10","confidence":0.42,"confidence_reason":"Heuristic fallback from paper author count and extracted affiliations.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-10T17:23:18.936Z","fresh_until":"2026-04-24T17:23:18.936Z","is_stale":true,"source_count":2,"missingness":[]},"methodology":{"value":3.9,"scale":"0-10","confidence":0.82,"confidence_reason":"Backfilled from paper_extraction_scorecards.total_score.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-10T17:23:31.507Z","fresh_until":"2026-05-10T17:23:31.507Z","is_stale":true,"source_count":2,"missingness":[]}},"evidence_receipt":{"freshness":"stale","proof_status":"unverified","repo_status":"missing","references_count":0,"source_count":3,"coverage":0.5,"missingness":["repo_url","references","proof_status"],"unresolved_unknowns":["proof verification has not been recorded yet"],"last_verification_at":"2026-04-10T17:36:32.468Z"},"lineage_hash":"f32e7c8058973de6408f90127ade838d5aff6a6516ac988349e569ac5628615d"},"distribution":null,"replication_evidence":[],"author_dna":[]}