{"id":"W2785433728","doi":"10.29007/zxc5","title":"A Few Things We Heard About RV Tools (Position Paper)","year":2018,"lang":"en","type":"article","venue":"Kalpa publications in computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Dozen; Computer science; Position (finance); Position paper; Data science; World Wide Web; Business; Finance; Mathematics","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.02350725,0.001227443,0.0005688106,0.001079121,0.006433468,0.0096608,0.001967646,0.0124666,0.02054124],"category_scores_gemma":[0.1181499,0.0006567786,0.001197308,0.00110439,0.004401216,0.01317457,0.004382563,0.01690496,0.01103647],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003076503,"about_ca_system_score_gemma":0.002358452,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001962452,"about_ca_topic_score_gemma":0.002520684,"domain_scores_codex":[0.9745563,0.01131142,0.001017276,0.002865597,0.008507691,0.001741745],"domain_scores_gemma":[0.9116257,0.04344573,0.003372791,0.003254875,0.02958473,0.008716164],"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.0002002801,0.00007501055,0.001809591,0.0004383084,0.00003851298,0.0017668,0.01791387,0.0003868232,0.003662328,0.01901076,0.8904192,0.06427853],"study_design_scores_gemma":[0.00001467466,0.00009521325,0.0003696278,0.0003151005,0.00001659257,0.0006872792,0.009123472,0.0003016967,0.001284538,0.003287546,0.9843935,0.0001106086],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"commentary","genre_gemma":"commentary","genre_scores_codex":[0.01060649,0.007943995,0.04214197,0.755149,0.1486476,0.0001307869,0.000401087,0.002159606,0.03281952],"genre_scores_gemma":[0.1594908,0.006524452,0.02696047,0.5168055,0.06085835,0.00036888,0.0008016199,0.007053155,0.2211369],"genre_candidate":"commentary","genre_consensus":"commentary","teacher_disagreement_score":0.02350725,"threshold_uncertainty_score":0.1243197,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05417842030145728,"score_gpt":0.3327876516048202,"score_spread":0.2786092313033629,"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."}}