{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004315464,0.002013849,0.001181072,0.00184854,0.001419273,0.002124566,0.001944882,0.001901001,0.01458868],"category_scores_gemma":[0.002751873,0.0006260987,0.001644332,0.0009587987,0.0008411049,0.001821967,0.001832775,0.001428416,0.01119627],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001129512,"about_ca_system_score_gemma":0.006382975,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003905968,"about_ca_topic_score_gemma":0.002602846,"domain_scores_codex":[0.9964498,0.0007007412,0.0001259879,0.0005817341,0.00167721,0.0004644196],"domain_scores_gemma":[0.9955255,0.0005288481,0.0002168579,0.000766705,0.002186976,0.0007750746],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001865285,0.003728729,0.009421128,0.001015938,0.0004853493,0.001003382,0.001682307,0.02226525,0.4130273,0.005750612,0.03704912,0.5027056],"study_design_scores_gemma":[0.0008009876,0.00856706,0.01243119,0.0001490564,0.0005385467,0.001103561,0.001097278,0.05098787,0.7252194,0.003158345,0.1957829,0.0001638103],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3223207,0.002952213,0.5588113,0.002330125,0.001149322,0.003531858,0.01025907,0.02313733,0.07550813],"genre_scores_gemma":[0.5166605,0.002047254,0.3714249,0.0005932837,0.0004602941,0.001631551,0.02484003,0.004805936,0.07753637],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01458868,"threshold_uncertainty_score":0.04880399,"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."}}