{"id":"W2048299041","doi":"10.1063/1.3575015","title":"Closing a Loophole in Factorization Proofs","year":2011,"lang":"en","type":"article","venue":"AIP conference proceedings","topic":"Mathematics and Applications","field":"Mathematics","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"U.S. Department of Energy","keywords":"Icon; Computer science; Closing (real estate); Citation; Information retrieval; Download; Online search; World Wide Web; Filter (signal processing); Programming language","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001877779,0.0001211113,0.0001601673,0.00008737863,0.00005467064,0.00005509277,0.0001868221,0.00007198447,0.0002098157],"category_scores_gemma":[0.0001668264,0.0001113629,0.00002660423,0.0002451763,0.00003330972,0.0001846314,0.00004803108,0.000121158,0.00003659898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003115999,"about_ca_system_score_gemma":0.00003940412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002131969,"about_ca_topic_score_gemma":0.0000103786,"domain_scores_codex":[0.9991747,0.000003379681,0.0002762348,0.0002066486,0.0001412132,0.0001977851],"domain_scores_gemma":[0.9994944,0.00002966257,0.0001392628,0.0001066334,0.0001776142,0.00005238517],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000009535815,0.0004033697,0.02751157,0.0003044678,0.00001119961,0.000001133985,0.02415114,1.915424e-8,0.01597292,0.928326,0.001663849,0.001644846],"study_design_scores_gemma":[0.0003368318,0.00005772108,0.003302458,0.0002350595,0.00002187971,0.000006507727,0.001476685,0.005616966,0.009843213,0.9778927,0.0009083508,0.0003016427],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7728902,0.00001389231,0.1016718,0.0002441027,0.00005739805,0.0009176559,0.000004699072,0.0002232677,0.1239769],"genre_scores_gemma":[0.9743388,0.000006698362,0.0250563,0.00002810758,0.00002450206,0.0001199932,0.000001633176,0.00001824499,0.0004057087],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2014486,"threshold_uncertainty_score":0.4541249,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1338296332675351,"score_gpt":0.3104515434897207,"score_spread":0.1766219102221856,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}