{"id":"W4302798199","doi":"10.1007/978-3-031-02010-0_6","title":"Covering Arguments","year":2014,"lang":"en","type":"book-chapter","venue":"Synthesis lectures on distributed computing theory","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Object (grammar); Computer science; Value (mathematics); Process (computing); Programming language; Artificial intelligence","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.0009439686,0.0006864197,0.000545068,0.001057669,0.001901061,0.003986764,0.0009037278,0.002038692,0.1000019],"category_scores_gemma":[0.004427375,0.0003181742,0.0006004256,0.0008459198,0.002803944,0.005392628,0.002166454,0.003740213,0.02378112],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003067625,"about_ca_system_score_gemma":0.001055471,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001501009,"about_ca_topic_score_gemma":0.001423128,"domain_scores_codex":[0.9989855,0.0003329227,0.00002793643,0.0001991659,0.0003436923,0.0001107185],"domain_scores_gemma":[0.9992505,0.0003588446,0.0000312339,0.000143204,0.0001734311,0.00004281808],"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.000009767687,0.00001027898,0.0000263961,0.00003598696,0.000002547708,0.00001591099,0.000136532,0.0001132029,0.00007920164,0.9449818,0.03992753,0.01466085],"study_design_scores_gemma":[0.000007316186,0.000006615274,0.00009674932,0.0001280663,0.000004750497,0.00003806784,0.0001213088,0.0002772537,0.0002030764,0.5661014,0.4330103,0.000005141585],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"methods","genre_scores_codex":[0.001036254,0.002876092,0.01228107,0.00519628,0.0009211649,0.00002422162,0.0001282973,0.0001119808,0.9774245],"genre_scores_gemma":[0.1085143,0.004499447,0.007017586,0.005957151,0.0018385,0.0001735382,0.0005129854,0.0005116275,0.8709748],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.1000019,"threshold_uncertainty_score":0.3345397,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0168191493174915,"score_gpt":0.2493695182061919,"score_spread":0.2325503688887004,"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."}}