{"id":"W1946985707","doi":"10.1023/a:1015736313131","title":"The IJCAR ATP System Competition","year":2002,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; Programming language; Mathematics","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.009125909,0.001155942,0.001863453,0.001276894,0.002784429,0.00674345,0.003986687,0.004154803,0.1130678],"category_scores_gemma":[0.01429481,0.0009338612,0.001577828,0.002713311,0.001399163,0.007627521,0.00403956,0.004855742,0.05805137],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001558034,"about_ca_system_score_gemma":0.005591714,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005810298,"about_ca_topic_score_gemma":0.00867296,"domain_scores_codex":[0.996164,0.001230739,0.0001574401,0.0004609563,0.001366653,0.0006202697],"domain_scores_gemma":[0.9899058,0.002565558,0.0001642144,0.00212171,0.002707161,0.002535471],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0005568238,0.0002100526,0.0002423296,0.0001815676,0.00003205981,0.0001646246,0.00004711417,0.002233324,0.0008530436,0.05475669,0.8593138,0.08140858],"study_design_scores_gemma":[0.0003983977,0.0001970425,0.0008182336,0.0001114103,0.00004069612,0.0003186524,0.00011687,0.01937017,0.002091284,0.1010295,0.8754523,0.00005545386],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.0228841,0.00761249,0.1760713,0.06677393,0.04226452,0.0005538714,0.01546927,0.02588096,0.6424896],"genre_scores_gemma":[0.1968119,0.007987626,0.1441112,0.01658168,0.007770865,0.000791128,0.07203962,0.02598049,0.5279255],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1130678,"threshold_uncertainty_score":0.3782495,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01484449246328016,"score_gpt":0.230399420483365,"score_spread":0.2155549280200848,"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."}}