{"id":"W4403647320","doi":"10.1145/3691621.3694960","title":"6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2024)","year":2024,"lang":"en","type":"article","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Verifiable secret sharing; Computer science; Software engineering; Software development; Software; Operating system; Programming language; Set (abstract data type)","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.01382513,0.001714017,0.001564856,0.002961328,0.001050737,0.007006887,0.002755135,0.003646033,0.04956274],"category_scores_gemma":[0.01254952,0.0009349171,0.001585889,0.001851856,0.001542773,0.005708513,0.006118517,0.005069295,0.02239351],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001850937,"about_ca_system_score_gemma":0.005008616,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002793075,"about_ca_topic_score_gemma":0.003913504,"domain_scores_codex":[0.9906349,0.003070835,0.0005014197,0.000987077,0.00385886,0.0009470257],"domain_scores_gemma":[0.9911047,0.00245626,0.0002582475,0.001439346,0.003498849,0.00124253],"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.0003901096,0.000286748,0.000470663,0.0006848309,0.0000694571,0.0002494541,0.0005003363,0.003096983,0.005830626,0.04003617,0.4166002,0.5317844],"study_design_scores_gemma":[0.00003612285,0.0001391069,0.0005117402,0.0004130156,0.00002529178,0.0002800662,0.0001088236,0.004622887,0.003524584,0.01286456,0.9774365,0.00003728853],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01126242,0.06925379,0.6019017,0.03227307,0.06118321,0.001088008,0.002833192,0.006203726,0.2140009],"genre_scores_gemma":[0.05718302,0.04630611,0.3615821,0.006848616,0.00912414,0.001235142,0.009861804,0.004360175,0.5034989],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.04956274,"threshold_uncertainty_score":0.1658039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01759591230517599,"score_gpt":0.2877879709254922,"score_spread":0.2701920586203163,"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."}}