{"id":"W2127225601","doi":"10.1007/s00165-006-0016-1","title":"Are the Logical Foundations of Verifying Compiler Prototypes Matching user Expectations?","year":2007,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Assertion; Compiler; Programming language; Semantics (computer science); Consistency (knowledge bases); Software engineering; Matching (statistics); Abstract interpretation; Software","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.0008003489,0.0001215448,0.000221502,0.0000950553,0.0003535474,0.00009740873,0.0006413506,0.00005090398,0.000005573586],"category_scores_gemma":[0.00006713755,0.00008335702,0.0001002591,0.0003783786,0.00009008704,0.0004093444,0.0002791458,0.0001642902,0.00001292466],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002490602,"about_ca_system_score_gemma":0.0000354198,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004583918,"about_ca_topic_score_gemma":0.00003154128,"domain_scores_codex":[0.9985861,0.00005701025,0.0005026231,0.0001907362,0.0003304813,0.000333054],"domain_scores_gemma":[0.998567,0.0002928053,0.000593689,0.0003077557,0.0001921538,0.00004655189],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.000008934545,0.00008396342,0.006003976,0.00007592382,0.0000297044,0.000006830445,0.005129969,0.0008865952,0.0002389027,0.9788788,0.00001763353,0.0086388],"study_design_scores_gemma":[0.003074441,0.001306406,0.5353717,0.0004457104,0.00008463878,0.0003207291,0.03071375,0.1245453,0.03090348,0.2642282,0.007322838,0.001682837],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1806271,0.00007924452,0.8112173,0.00007694912,0.0002888037,0.0003966904,3.200496e-7,0.000094984,0.007218577],"genre_scores_gemma":[0.9822018,4.234851e-7,0.01759304,0.00004422529,0.0001327839,0.000005305044,0.000001728193,0.000006808595,0.00001388651],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8015747,"threshold_uncertainty_score":0.3399201,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03545459313810563,"score_gpt":0.2909245448275454,"score_spread":0.2554699516894398,"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."}}