{"id":"W4247266520","doi":"10.1007/978-1-4939-7131-2_100047","title":"Automated Deduction","year":2018,"lang":"en","type":"book-chapter","venue":"","topic":"Mathematics, Computing, and Information Processing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009576154,0.0009148642,0.0007632636,0.001852061,0.001105785,0.003996613,0.001681398,0.0007934795,0.02069545],"category_scores_gemma":[0.002607257,0.0006504373,0.001142948,0.001923926,0.002873343,0.004613218,0.002009169,0.0029266,0.01169328],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001738226,"about_ca_system_score_gemma":0.001429189,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008993946,"about_ca_topic_score_gemma":0.001028786,"domain_scores_codex":[0.9988571,0.0002491518,0.00006537514,0.0002388276,0.0005196999,0.00006978613],"domain_scores_gemma":[0.9989865,0.0004758785,0.00003017076,0.0003088914,0.0001762012,0.00002229439],"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.0000262874,0.00003936697,0.0001417916,0.0003961461,0.00002800415,0.00006123393,0.0002257347,0.001575414,0.0006273865,0.7081333,0.06764753,0.2210979],"study_design_scores_gemma":[0.000008536897,0.000008732995,0.0001521124,0.0001347618,0.0000136009,0.0001075548,0.00003500377,0.002521391,0.001049687,0.7478513,0.2481068,0.0000106273],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.004966069,0.03364836,0.3278128,0.004811944,0.001851642,0.0001128798,0.001072022,0.00264196,0.6230823],"genre_scores_gemma":[0.2816267,0.04237652,0.2973519,0.002943954,0.00357505,0.0003022878,0.007315355,0.001933167,0.3625751],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02069545,"threshold_uncertainty_score":0.06923318,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0225348624376884,"score_gpt":0.2459823056726615,"score_spread":0.2234474432349731,"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."}}