{"id":"W2099549354","doi":"10.3115/1067807.1067844","title":"AVM description compilation using types as modes","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Programming language; Computer science; Compiler; Prolog; Logic programming; Feature (linguistics)","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.0002008755,0.00006509063,0.00007227805,0.00004548834,0.0001002977,0.0001765277,0.0001445395,0.00003974366,0.00003219046],"category_scores_gemma":[0.0000200775,0.00005244507,0.00002705784,0.0001593994,0.00001395797,0.0004117714,0.00002399412,0.0000356295,0.0001657135],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003126785,"about_ca_system_score_gemma":0.00003263141,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001275091,"about_ca_topic_score_gemma":0.00001466125,"domain_scores_codex":[0.9993947,0.00006071974,0.0001115562,0.0001678314,0.0001295083,0.000135745],"domain_scores_gemma":[0.9996618,0.00001293001,0.00004334542,0.0001887563,0.00005520588,0.00003795544],"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":[6.087119e-7,0.00001695924,0.001755708,0.000004328322,0.000004235303,0.000001454388,0.0001677075,0.000387235,0.001573707,0.9925039,0.00007581907,0.003508276],"study_design_scores_gemma":[0.0004278112,0.0001334445,0.001172642,0.000006319266,0.00001303605,0.0001075515,0.0001890867,0.6563627,0.01362895,0.3001093,0.02743389,0.000415254],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01400367,0.00009449892,0.9169596,0.00002414649,0.0003079973,0.00008881825,4.716189e-8,0.0001416348,0.06837951],"genre_scores_gemma":[0.9579605,0.000001857227,0.04072176,0.00008026732,0.00003018176,0.000002101071,0.000001002115,0.000003609764,0.001198668],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9439569,"threshold_uncertainty_score":0.2138648,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06994717678546009,"score_gpt":0.2721281149271326,"score_spread":0.2021809381416725,"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."}}