{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003016409,0.001436377,0.001706544,0.002995178,0.0017969,0.006045229,0.003224439,0.0009363939,0.05080479],"category_scores_gemma":[0.004253441,0.001349917,0.001697713,0.004494817,0.002375002,0.003574442,0.00181493,0.002563801,0.01617665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007848426,"about_ca_system_score_gemma":0.01276502,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.147057,"about_ca_topic_score_gemma":0.1767122,"domain_scores_codex":[0.9980989,0.0002515941,0.00009397844,0.0002680756,0.00114638,0.0001410253],"domain_scores_gemma":[0.9963003,0.0008993327,0.00005441819,0.0006821897,0.001929892,0.000133985],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006306947,0.00009539822,0.0004316511,0.0005885042,0.00006885406,0.0000938415,0.0001499732,0.003102096,0.00206966,0.05431687,0.4893757,0.4496444],"study_design_scores_gemma":[0.00004870006,0.00003044289,0.001657723,0.0004387215,0.00006282938,0.0003569698,0.00009914528,0.01748951,0.006247039,0.05817805,0.9153339,0.00005696808],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.005797171,0.07247046,0.64255,0.007849179,0.008303402,0.000614666,0.01007485,0.02314516,0.2291952],"genre_scores_gemma":[0.04538589,0.05280582,0.522909,0.001728491,0.001796965,0.0002735096,0.03121019,0.007048185,0.336842],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.147057,"threshold_uncertainty_score":0.2924021,"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."}}