{"id":"W4401942543","doi":"10.1145/3678000","title":"Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development","year":2024,"lang":"en","type":"paratext","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada; Eesti Teadusagentuur","keywords":"Computer science; Type (biology); Geology","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.000132291,0.0002820407,0.0002384209,0.000231168,0.00003771983,0.0001692886,0.004092181,0.000225091,0.0002152405],"category_scores_gemma":[0.00002243713,0.0001916012,0.00009101653,0.000406587,0.00003012288,0.0001177263,0.001918897,0.0005123141,0.001033239],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002001853,"about_ca_system_score_gemma":0.0002177845,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003796124,"about_ca_topic_score_gemma":0.000001344391,"domain_scores_codex":[0.9983892,0.000006058618,0.0003228675,0.0005040076,0.0005769996,0.0002008032],"domain_scores_gemma":[0.9989983,0.00005161948,0.0001341915,0.0005448971,0.0002233309,0.00004764344],"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.000003738807,0.00003102119,0.00001275349,0.0001036427,0.00009650139,0.000001816418,0.0004555729,0.0004887113,0.0001549698,0.0688385,0.9119728,0.01783999],"study_design_scores_gemma":[0.00003914623,0.0000225068,0.00002845506,0.0008194951,0.000005805332,0.000008250033,0.000001958147,0.004503948,0.006151847,0.0002774403,0.987893,0.0002481485],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001328147,0.00007426846,0.923568,0.0008259645,0.007001313,0.0002939197,0.00000810486,0.00045768,0.06763793],"genre_scores_gemma":[0.003234443,0.00006879756,0.6634452,0.0002093783,0.000210859,0.00006815552,0.00001973607,0.00004878068,0.3326947],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2650568,"threshold_uncertainty_score":0.9997446,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02539934119530957,"score_gpt":0.2704835366246427,"score_spread":0.2450841954293331,"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."}}