{"id":"W2962922262","doi":"10.1007/978-3-031-38499-8","title":"Automated Deduction – CADE 29","year":2023,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Drilling and Well Engineering","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Programming language; Artificial intelligence; Natural language processing","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.002160513,0.001012785,0.0009702677,0.002626645,0.0007798022,0.004982317,0.001763396,0.00111252,0.05759596],"category_scores_gemma":[0.00521432,0.001085159,0.001530653,0.003236472,0.001352184,0.00425686,0.002521785,0.002648865,0.03089978],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001848854,"about_ca_system_score_gemma":0.001281512,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001641875,"about_ca_topic_score_gemma":0.001589361,"domain_scores_codex":[0.9973346,0.0004054726,0.0002191151,0.0003817421,0.001526221,0.0001328564],"domain_scores_gemma":[0.9977075,0.0009896235,0.00005840959,0.0005730566,0.0006070924,0.00006434302],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00006692031,0.00008018721,0.0001175195,0.0007263518,0.0000381058,0.0001868121,0.00009385874,0.003955384,0.002183619,0.2792025,0.2000849,0.5132638],"study_design_scores_gemma":[0.00002854718,0.00001972031,0.0002342038,0.0002082924,0.00001428742,0.0004224325,0.00002556772,0.005075689,0.003362585,0.1790648,0.8115185,0.00002542822],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00341471,0.02605928,0.4230702,0.003474007,0.002819678,0.0002470624,0.004296508,0.01524257,0.5213761],"genre_scores_gemma":[0.08446525,0.02466696,0.5775195,0.002303758,0.002021292,0.0004882032,0.02034573,0.007935505,0.2802539],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.05759596,"threshold_uncertainty_score":0.1926777,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008745723829433895,"score_gpt":0.2152723770871028,"score_spread":0.2065266532576689,"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."}}