{"id":"W35494892","doi":"10.1007/978-1-4471-5260-6_7","title":"EB2ALL: An Automatic Code Generation Tool","year":2013,"lang":"en","type":"book-chapter","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Programming language; Code generation; Software engineering; Automatic programming; Java; Code (set theory); Operating system; 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.0005465374,0.001305681,0.0004926461,0.0014295,0.0004185754,0.001154702,0.001673909,0.0008971837,0.04216009],"category_scores_gemma":[0.001874944,0.0008545101,0.0007878514,0.001016281,0.0005087136,0.001941556,0.001380636,0.001528379,0.02092671],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00036144,"about_ca_system_score_gemma":0.0005734778,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006915841,"about_ca_topic_score_gemma":0.001213793,"domain_scores_codex":[0.9993213,0.00007220046,0.00002819059,0.00008710791,0.0004435288,0.00004758925],"domain_scores_gemma":[0.99945,0.0002618422,0.00002442325,0.0001066441,0.0001371883,0.0000199135],"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.0000975585,0.00006913699,0.0002085243,0.0006964476,0.00003342749,0.0002092101,0.0001866585,0.006000626,0.02073278,0.05082725,0.1641097,0.7568287],"study_design_scores_gemma":[0.0001105725,0.00006900147,0.0004455072,0.0003745984,0.00005558999,0.00118709,0.00005168316,0.05262617,0.06816558,0.08540157,0.7914311,0.00008151578],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.002168096,0.0008905439,0.9134785,0.0002758579,0.0003054211,0.0001019722,0.001046171,0.03680765,0.04492579],"genre_scores_gemma":[0.03734077,0.001977324,0.7818069,0.0005614613,0.0001725196,0.0003782157,0.007478202,0.03073573,0.1395489],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.04216009,"threshold_uncertainty_score":0.1410396,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07951010754001533,"score_gpt":0.2980396298809087,"score_spread":0.2185295223408934,"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."}}