{"id":"W3176562981","doi":"10.1007/s10009-021-00625-z","title":"What can we monitor over unreliable channels?","year":2021,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Theory of computation; Programming language","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":"codex-gemma-dda1882f352a","candidate_categories":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0003579351,0.0002110194,0.0002291302,0.0004709654,0.0001870865,0.001100219,0.001769339,0.0002926584,0.00006869101],"category_scores_gemma":[0.0006478836,0.0002017756,0.0002028226,0.0004378545,0.00008482626,0.002195389,0.00009936932,0.0005716575,0.00003340202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002436492,"about_ca_system_score_gemma":0.000168345,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001066718,"about_ca_topic_score_gemma":0.000002537537,"domain_scores_codex":[0.9981326,0.00005637128,0.0004502854,0.0004290176,0.0005636364,0.0003680177],"domain_scores_gemma":[0.99823,0.0002410739,0.00008502691,0.0004592974,0.0008881569,0.00009645228],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001085208,0.0002884485,0.0002635565,0.00001779994,0.0002938152,0.0002607386,0.0004090872,0.0006429662,0.003121322,0.3414874,0.001425052,0.6516812],"study_design_scores_gemma":[0.003714975,0.0008787233,0.0005867899,0.0008808156,0.00005226684,0.002511211,0.0004798872,0.006154024,0.4653594,0.2114206,0.3070013,0.0009600061],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02932771,0.0004935482,0.9400297,0.01656484,0.01295846,0.0001760435,0.00002815218,0.0003764853,0.00004500551],"genre_scores_gemma":[0.2435105,0.002659799,0.7483277,0.003156729,0.0008456408,0.000185182,0.00003018003,0.00006243876,0.001221834],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6507213,"threshold_uncertainty_score":0.9999368,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03448311251912821,"score_gpt":0.3164275150670675,"score_spread":0.2819444025479393,"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."}}