{"id":"W4411017475","doi":"10.1145/3721890.3721897","title":"Summary of the 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with the 39th IEEE/ACM ASE 2024","year":2025,"lang":"en","type":"article","venue":"ACM SIGSOFT Software Engineering Notes","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; Software engineering; Computer science; Software; Systems engineering; Engineering; Operating system; 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":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.0006552313,0.0003234799,0.0003513666,0.0002855412,0.0003150666,0.0002455588,0.002839272,0.0001363046,0.00001001337],"category_scores_gemma":[0.02782862,0.0001997479,0.000104527,0.001412958,0.0001328208,0.0002220095,0.0009180324,0.00046372,0.00001211288],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002249677,"about_ca_system_score_gemma":0.0003661582,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006427895,"about_ca_topic_score_gemma":0.00001075934,"domain_scores_codex":[0.9977328,0.00009696824,0.0004065387,0.000577113,0.0007654322,0.0004212003],"domain_scores_gemma":[0.9734866,0.02421917,0.0001285469,0.001754657,0.0003085715,0.0001024652],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.0002410389,0.0005484247,0.6382952,0.002829518,0.00198019,0.00009561711,0.002677835,0.2511014,0.001401997,0.001520382,0.01873123,0.08057716],"study_design_scores_gemma":[0.004715932,0.0005072901,0.5720242,0.01619687,0.0004109062,0.0001249201,0.000772005,0.2608672,0.09209921,0.0001533571,0.04878264,0.003345422],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3929556,0.001448305,0.5956962,0.003539066,0.001566171,0.001122537,0.0000593484,0.003576537,0.00003627937],"genre_scores_gemma":[0.9656994,0.00002599685,0.03346597,0.0001519541,0.00003950548,0.00009418583,0.00001978584,0.00002898084,0.000474176],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5727439,"threshold_uncertainty_score":0.9803604,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01276982332790999,"score_gpt":0.2569284274883022,"score_spread":0.2441586041603922,"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."}}