{"schema_version":"papers/paper-detail-v1","title":"QED-Nano: Teaching a Tiny Model to Prove Hard Theorems","surface":"papers","opportunity_kernel":{"paper_id":"986edb46-20f5-4a10-8848-f8a9ca420d18","title":"QED-Nano: Teaching a Tiny Model to Prove Hard Theorems","authors":["LM-Provers","Yuxiao Qu","Amrith Setlur","Jasper Dekoninck","Edward Beeching","Jia Li","Ian Wu","Lewis Tunstall","Aviral Kumar"],"arxiv_id":"2604.04898v1","doi":null,"published_at":"2026-04-06T17:44:25.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-07T20:14:45.148Z","fresh_until":"2026-05-07T20:14:45.148Z","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-07T20:14:45.148Z","fresh_until":"2026-04-21T20:14:45.148Z","is_stale":true,"source_count":0,"missingness":["paper_score_objects.technical"]},"commercial":{"value":4,"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-07T20:14:45.148Z","fresh_until":"2026-05-07T20:14:45.148Z","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-07T20:14:45.148Z","fresh_until":"2026-04-21T20:14:45.148Z","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-07T20:14:45.148Z","fresh_until":"2026-04-21T20:14:45.148Z","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-07T20:14:45.148Z","fresh_until":"2026-05-07T20:14:45.148Z","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-07T20:14:45.148Z"},"lineage_hash":"c3f81842c518f45b8e2666ae87017c58f38a605c532b45b970fdc0ce84c1ebd4"},"distribution":null,"replication_evidence":[],"author_dna":[{"author_id":"89d486fa-4420-436d-979b-90ca7f22b25a","name":"Yuxiao Qu","institution":"CMU","h_index":null,"paper_count":1,"patents_count":null,"founder_score":50,"prior_startup":false,"industry_years":null,"top_skills":["Research"],"prior_commercialization_rate":null,"confidence":null,"paper_sample_size":0,"commercialized_paper_count":0,"last_backfilled_at":null,"archived_at":null},{"author_id":"5af99a7f-a6dd-4350-b7d6-49b829bbc8a7","name":"Amrith Setlur","institution":"CMU","h_index":null,"paper_count":1,"patents_count":null,"founder_score":50,"prior_startup":false,"industry_years":null,"top_skills":["Research"],"prior_commercialization_rate":null,"confidence":null,"paper_sample_size":0,"commercialized_paper_count":0,"last_backfilled_at":null,"archived_at":null},{"author_id":"244329b2-d7bd-4602-ad97-701e1cd9f8fb","name":"Jasper Dekoninck","institution":"ETH Zurich","h_index":null,"paper_count":1,"patents_count":null,"founder_score":50,"prior_startup":false,"industry_years":null,"top_skills":["Research"],"prior_commercialization_rate":null,"confidence":null,"paper_sample_size":0,"commercialized_paper_count":0,"last_backfilled_at":null,"archived_at":null},{"author_id":"e896bf04-4a40-449c-9599-f927d127aa37","name":"Edward Beeching","institution":"Hugging Face","h_index":null,"paper_count":1,"patents_count":null,"founder_score":50,"prior_startup":false,"industry_years":null,"top_skills":["Research"],"prior_commercialization_rate":null,"confidence":null,"paper_sample_size":0,"commercialized_paper_count":0,"last_backfilled_at":null,"archived_at":null},{"author_id":"0a708277-ac47-4c20-a432-e08379e7f21c","name":"Ian Wu","institution":"CMU","h_index":null,"paper_count":1,"patents_count":null,"founder_score":50,"prior_startup":false,"industry_years":null,"top_skills":["Research"],"prior_commercialization_rate":null,"confidence":null,"paper_sample_size":0,"commercialized_paper_count":0,"last_backfilled_at":null,"archived_at":null},{"author_id":"c2580d7a-5bc9-4bba-b25a-c1410cccc2fa","name":"Lewis Tunstall","institution":"Hugging Face","h_index":null,"paper_count":1,"patents_count":null,"founder_score":50,"prior_startup":false,"industry_years":null,"top_skills":["Research"],"prior_commercialization_rate":null,"confidence":null,"paper_sample_size":0,"commercialized_paper_count":0,"last_backfilled_at":null,"archived_at":null},{"author_id":"14001f9c-f4af-4291-abb6-52ac218a14ee","name":"Aviral Kumar","institution":"CMU","h_index":null,"paper_count":1,"patents_count":null,"founder_score":50,"prior_startup":false,"industry_years":null,"top_skills":["Research"],"prior_commercialization_rate":null,"confidence":null,"paper_sample_size":0,"commercialized_paper_count":0,"last_backfilled_at":null,"archived_at":null}]}