{"id":"W2331387892","doi":"10.4204/eptcs.157.3","title":"Automatic Device Driver Synthesis Project: a Work-in-Progress Report","year":2014,"lang":"en","type":"article","venue":"Electronic Proceedings in Theoretical Computer Science","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Work (physics); Computer science; Engineering; Systems engineering; Mechanical engineering","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.008681424,0.0002911275,0.0004765863,0.0009470056,0.0002562385,0.0007870674,0.003964609,0.0001177714,0.00002083884],"category_scores_gemma":[0.002069623,0.0002463903,0.0001111559,0.007772066,0.002058425,0.001116413,0.001256353,0.0007364867,0.00003412186],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006172183,"about_ca_system_score_gemma":0.0006762972,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000133201,"about_ca_topic_score_gemma":0.000005723703,"domain_scores_codex":[0.9944074,0.0001252788,0.0006746546,0.001558464,0.001462011,0.001772256],"domain_scores_gemma":[0.9978341,0.0007451213,0.0001532742,0.0007149498,0.0003415852,0.0002109569],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001057947,0.0001863644,0.01092292,0.00004914945,0.000006775012,0.00003456376,0.000694759,0.00002465327,0.00004465484,0.8478056,0.00002651259,0.1401935],"study_design_scores_gemma":[0.000241257,0.000182151,0.008244586,0.0002370458,0.000006384288,0.0001403005,0.00001620185,0.8863567,0.001474082,0.1024721,0.0002355542,0.0003936442],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6564852,0.000114004,0.337617,0.002672425,0.0001611468,0.0006173408,1.508193e-7,0.000464351,0.001868412],"genre_scores_gemma":[0.9421119,0.00001105267,0.05752325,0.0001447268,0.00006534861,0.0001239088,2.168627e-7,0.0000124267,0.000007140288],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.886332,"threshold_uncertainty_score":0.9999988,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008160420653458223,"score_gpt":0.2774566058608282,"score_spread":0.2692961852073699,"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."}}