{"schema_version":"papers/paper-detail-v1","title":"Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics","surface":"papers","opportunity_kernel":{"paper_id":"1ad9f826-e477-49e2-85f4-56a5d11f2307","title":"Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics","authors":[],"arxiv_id":"2601.14027v1","doi":null,"published_at":"2026-01-20T14:51:45.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-02T02:30:40.136Z","fresh_until":"2026-05-02T02:30:40.136Z","is_stale":true,"source_count":1,"missingness":[]},"technical":{"value":0,"scale":"0-10","confidence":0.15,"confidence_reason":"No persisted technical score source was available; marked low confidence.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-03-19T18:48:05.835Z","fresh_until":"2026-04-02T18:48:05.835Z","is_stale":true,"source_count":0,"missingness":["reproducibility_results.reproducibility_score","deployability_scores.score","paper_extraction_scorecards.reconstruction_score"]},"commercial":{"value":0,"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-02T02:30:40.136Z","fresh_until":"2026-05-02T02:30:40.136Z","is_stale":true,"source_count":1,"missingness":[]},"market":{"value":0,"scale":"0-10","confidence":0.15,"confidence_reason":"No persisted distribution_readiness_scores row was available; marked low confidence.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-02T02:30:40.136Z","fresh_until":"2026-04-16T02:30:40.136Z","is_stale":true,"source_count":0,"missingness":["distribution_readiness_scores.score"]},"team":{"value":10,"scale":"0-10","confidence":0.15,"confidence_reason":"No persisted team-quality evidence was available; marked low confidence.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-02T02:30:40.136Z","fresh_until":"2026-04-16T02:30:40.136Z","is_stale":true,"source_count":0,"missingness":["engineer_profiles.builder_score","author_startups"]},"methodology":{"value":0,"scale":"0-10","confidence":0.15,"confidence_reason":"No persisted methodology score source was available; marked low confidence.","model_version":"phase0-backfill-v1","pipeline_version":"phase0-kernel-v1","computed_at":"2026-04-02T02:30:40.136Z","fresh_until":"2026-05-02T02:30:40.136Z","is_stale":true,"source_count":0,"missingness":["paper_extraction_scorecards.total_score","paper_extraction_scorecards.standard_extraction_score"]}},"evidence_receipt":{"freshness":"stale","proof_status":"unverified","repo_status":"missing","references_count":0,"source_count":0,"coverage":0.3333,"missingness":["repo_url","references","distribution_readiness_scores","paper_extraction_scorecards"],"unresolved_unknowns":["distribution readiness has not been computed yet"],"last_verification_at":"2026-03-19T18:48:05.835Z"},"lineage_hash":"1b82d330bd734ec517a27f9216f2fb84b45af89afb27e976ce08fa444cf2dad8"},"distribution":null,"replication_evidence":[],"author_dna":[]}