{"id":"W2295801628","doi":"10.1109/scam.2006.14","title":"Evolving TXL","year":2006,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Programming language; Functional programming; Syntax; Semantics (computer science); Business process reengineering; Transformation (genetics); Source code; Software engineering; Artificial intelligence; 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":[],"consensus_categories":[],"category_scores_codex":[0.0001256602,0.00005217037,0.00005908859,0.00002887506,0.0000597898,0.0001693566,0.0003348085,0.00002605254,0.00004370352],"category_scores_gemma":[0.000006117918,0.00003849252,0.0000308337,0.0001371902,0.00001078533,0.0002110981,0.0000783369,0.00003130219,0.0003652035],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001287617,"about_ca_system_score_gemma":0.00001430376,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005519864,"about_ca_topic_score_gemma":0.00005937953,"domain_scores_codex":[0.9994478,0.00001523958,0.00009653492,0.0001593904,0.0001180658,0.0001629942],"domain_scores_gemma":[0.9996486,0.00001730549,0.00002544269,0.0002498322,0.00003243412,0.0000263804],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[8.926544e-8,0.0000146334,0.002559713,0.000002768644,0.000001411286,0.000005974813,0.00003702349,0.000004528659,0.0001133347,0.980163,0.009036685,0.008060836],"study_design_scores_gemma":[0.0005223,0.0001250394,0.02253359,0.000003205933,0.000004902449,0.00007255234,0.0000505429,0.04880763,0.004166298,0.3977264,0.5254202,0.0005672902],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004263741,0.0001362315,0.722073,0.000138866,0.0002804061,0.00004452389,1.568102e-8,0.0002518368,0.2766488],"genre_scores_gemma":[0.9767619,4.57389e-7,0.01226643,0.0000897172,0.0001365593,0.000003855609,4.491326e-7,0.000002593418,0.01073803],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9763355,"threshold_uncertainty_score":0.4694074,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0155758232849095,"score_gpt":0.2260819542270172,"score_spread":0.2105061309421077,"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."}}