{"id":"W1600091504","doi":"","title":"Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings","year":2009,"lang":"en","type":"book","venue":"","topic":"Mathematics, Computing, and Information Processing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Automated theorem proving; Rewriting; Predicate abstraction; Computer science; Automated reasoning; Gas meter prover; Automated proof checking; Programming language; Theoretical computer science; Axiom; Discrete mathematics; Mathematics; Algebra over a field; Algorithm; Model checking; Mathematical proof","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0003810701,0.0006811412,0.0005893951,0.0006147683,0.0004458558,0.001152602,0.001727882,0.000427528,0.0006088443],"category_scores_gemma":[0.0001214268,0.0006580735,0.0001141207,0.0003911219,0.00008178951,0.001692303,0.0002199766,0.0006257933,0.0001038169],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001285634,"about_ca_system_score_gemma":0.00380933,"about_ca_topic_candidate":true,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0170282,"about_ca_topic_score_gemma":0.00808017,"domain_scores_codex":[0.9959641,0.00002235138,0.00127845,0.0008191859,0.001331688,0.00058425],"domain_scores_gemma":[0.9963377,0.00004604903,0.001323736,0.0004767746,0.001539212,0.0002765899],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000053091,0.00006182359,0.000001755169,0.000122404,0.00006106833,0.000005746957,0.0005904383,0.0003844039,0.00001040344,0.05761723,0.9323505,0.008788942],"study_design_scores_gemma":[0.0003999801,0.0000909911,0.0001807028,0.000652109,0.00003117425,0.0002115288,0.0001403333,0.8992953,0.0002416942,0.01040138,0.08749564,0.0008591671],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0002148175,0.00005295315,0.01806871,0.001781711,0.002085794,0.0005424172,0.00001897953,0.006019415,0.9712152],"genre_scores_gemma":[0.01264609,0.000105587,0.02434707,0.002407033,0.001071333,0.00004080365,0.0003656159,0.00008320832,0.9589332],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.8989109,"threshold_uncertainty_score":0.9998843,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01628926428040867,"score_gpt":0.2447885669836507,"score_spread":0.228499302703242,"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."}}