{"id":"W2007323998","doi":"10.1016/j.jpaa.2006.03.008","title":"Truncated resolution model structures","year":2006,"lang":"en","type":"article","venue":"Journal of Pure and Applied Algebra","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Western University","funders":"","keywords":"Mathematics; Resolution (logic); Pure mathematics; Artificial intelligence; Computer science","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.0002897505,0.0001369023,0.0003188492,0.0001072512,0.0001008019,0.00002014945,0.0001398593,0.0001936981,0.00006352418],"category_scores_gemma":[0.00003562164,0.0001040175,0.00007279772,0.00008576944,0.0001226766,0.00006269426,0.00003129424,0.0003107168,0.00000289113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001988246,"about_ca_system_score_gemma":0.00005111637,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002152448,"about_ca_topic_score_gemma":0.00001110361,"domain_scores_codex":[0.9990197,0.00003519104,0.0004551847,0.0001202508,0.0001681201,0.0002015376],"domain_scores_gemma":[0.9993103,0.0001056678,0.0003373927,0.0001245379,0.00006159913,0.00006054377],"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.00008195304,0.00005987055,0.00005777822,0.00001946826,0.00004300385,0.00001823274,0.0001694209,0.0001893244,0.005862291,0.9836876,0.008643398,0.001167694],"study_design_scores_gemma":[0.0006702197,0.00007132827,0.0005018454,0.000008185636,0.00007798145,0.0003243391,0.00009758084,0.0003703948,0.003819624,0.9934489,0.0004992672,0.0001103093],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9828839,0.0003146202,0.008765046,0.0007062604,0.0001202541,0.00009362085,0.000003142926,0.00002582678,0.007087287],"genre_scores_gemma":[0.9901055,0.00001822256,0.009065267,0.000190631,0.0003355694,0.000002634666,0.000002194954,0.0000141863,0.000265782],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.009761358,"threshold_uncertainty_score":0.424171,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01804818839989279,"score_gpt":0.2657443088159432,"score_spread":0.2476961204160504,"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."}}