{"id":"W7099567148","doi":"","title":"ARTIFICIAL INTELLIGENCE A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution","year":2008,"lang":"en","type":"article","venue":"","topic":"Insect behavior and control techniques","field":"Agricultural and Biological Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Resolution (logic); Set (abstract data type); Space (punctuation); Simplicity; Power (physics); Inference","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002201842,0.0001292847,0.0001955605,0.00001687577,0.000207035,0.0000131012,0.0002010786,0.0001710676,0.0008862182],"category_scores_gemma":[0.00003381446,0.00005253516,0.0001256846,0.0002704727,0.00009385776,0.0001109164,0.00005070751,0.0001297386,0.00004123069],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002887358,"about_ca_system_score_gemma":0.000008284492,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001368903,"about_ca_topic_score_gemma":0.0006827855,"domain_scores_codex":[0.9987593,0.00008056883,0.0003790398,0.0002531844,0.0002676577,0.0002602948],"domain_scores_gemma":[0.9995999,0.00005583792,0.00009329495,0.00007407877,0.0001110153,0.00006587969],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00009968392,0.0001817455,0.0001664811,0.000001159546,0.000004879209,0.000001236999,0.0000244099,3.58868e-7,0.9420246,0.00441731,0.001580766,0.05149734],"study_design_scores_gemma":[0.0001380271,0.001295221,0.02032924,0.00003377898,0.00005032135,0.00005319321,0.0001931884,0.002697836,0.9546859,0.007874469,0.01200925,0.0006395612],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9925562,0.00006220181,0.005046161,0.0003638485,0.00006533338,0.0002536979,0.00002251754,0.0002032873,0.001426791],"genre_scores_gemma":[0.9983483,0.00006901278,0.0005711242,0.00009949735,0.00007114583,0.00002565044,0.00005348543,0.000001011621,0.0007607969],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.05085777,"threshold_uncertainty_score":0.9703467,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.159087137141364,"score_gpt":0.3070188946484772,"score_spread":0.1479317575071132,"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."}}