{"id":"W2980365261","doi":"10.1007/978-3-030-33636-3_3","title":"Certification of Breadth-First Algorithms by Extraction","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"Agence Nationale de la Recherche","keywords":"Certification; Computer science; Extraction (chemistry); Algorithm; Chromatography; Chemistry; Political science; Law","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.005214197,0.001254815,0.001517532,0.002193513,0.001487264,0.004126762,0.003222634,0.00251517,0.01409923],"category_scores_gemma":[0.03032656,0.001790019,0.002523191,0.001837562,0.003966834,0.009453246,0.005295787,0.004293505,0.005468305],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001971769,"about_ca_system_score_gemma":0.004552158,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001623115,"about_ca_topic_score_gemma":0.001667724,"domain_scores_codex":[0.9906673,0.002366054,0.0005727227,0.001559236,0.003801335,0.001033338],"domain_scores_gemma":[0.9680447,0.01731417,0.001025046,0.009729434,0.003473165,0.0004133659],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0008383057,0.0002717073,0.001741065,0.001177572,0.0001334353,0.0003021533,0.0006081272,0.0614045,0.02286481,0.5130546,0.01615485,0.3814488],"study_design_scores_gemma":[0.0001940539,0.0001245257,0.0005226181,0.0003990625,0.0000992624,0.0004489004,0.000143471,0.1901981,0.05316879,0.7258428,0.02877298,0.00008539818],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01285116,0.0003753598,0.9683143,0.0004507881,0.0001397834,0.0002114746,0.0002145134,0.005558313,0.01188438],"genre_scores_gemma":[0.2949065,0.0007715657,0.6861398,0.000425674,0.0001935864,0.0003435331,0.001305824,0.003369401,0.01254416],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01409923,"threshold_uncertainty_score":0.04716665,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02919159287180382,"score_gpt":0.2872654813390418,"score_spread":0.258073888467238,"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."}}