{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0132874,0.001119778,0.001241733,0.001490546,0.004283845,0.004794894,0.003380355,0.004716225,0.01610139],"category_scores_gemma":[0.06227269,0.001122158,0.001578821,0.001428844,0.01061577,0.03035983,0.009419773,0.007313464,0.003460975],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001336942,"about_ca_system_score_gemma":0.001464352,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000397839,"about_ca_topic_score_gemma":0.0003505806,"domain_scores_codex":[0.9910698,0.004390465,0.0004621399,0.001183606,0.002126399,0.0007676142],"domain_scores_gemma":[0.9431523,0.0371168,0.002164123,0.01339956,0.002833988,0.00133322],"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.00007469665,0.00002751878,0.0001561138,0.0001183915,0.00001096013,0.0001426812,0.0004171544,0.0008475447,0.0007172465,0.9840693,0.002847791,0.01057054],"study_design_scores_gemma":[0.00002141383,0.00002147598,0.00002031446,0.00004078684,0.000006702156,0.00009036028,0.00004204625,0.002680318,0.0008329569,0.99124,0.004988128,0.00001551481],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.03935558,0.001933125,0.8904186,0.01647735,0.001998186,0.0001285918,0.0001847421,0.002172451,0.0473314],"genre_scores_gemma":[0.7335978,0.001605692,0.2441988,0.00440667,0.00190549,0.0002509752,0.0001925367,0.001595862,0.0122463],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.01610139,"threshold_uncertainty_score":0.07027131,"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."}}