{"id":"W4235002577","doi":"10.1145/1577824","title":"Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice","year":2009,"lang":"en","type":"paratext","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Computer science; Logical framework; Representation (politics); Programming language; Variable (mathematics); Automated theorem proving; Mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001023214,0.0003044556,0.0004490218,0.0000952101,0.0001037982,0.000387466,0.001131398,0.0005782318,0.0004490865],"category_scores_gemma":[0.001686241,0.000154448,0.0001426871,0.0002070815,0.0001805739,0.0003498152,0.0006058284,0.001042936,0.00006231067],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002478367,"about_ca_system_score_gemma":0.0000473553,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004358362,"about_ca_topic_score_gemma":0.000001571351,"domain_scores_codex":[0.9984104,0.0001308031,0.0002580383,0.000586012,0.0003987047,0.0002160362],"domain_scores_gemma":[0.9971938,0.001828167,0.0003604342,0.0002700636,0.0002639549,0.00008360467],"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":[0.0000831889,0.0001647401,0.0000060374,0.00003222226,0.0006074214,0.000005080527,0.001730899,0.000008208976,0.00001183918,0.8793296,0.09701037,0.02101042],"study_design_scores_gemma":[0.001580151,0.0009397112,0.001496927,0.0006917401,0.003001742,0.0008097782,0.004545516,0.003327102,0.0007059317,0.102242,0.8785557,0.002103687],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0002572981,0.004179243,0.05691249,0.004838345,0.0006591413,0.0003189168,0.000005069758,0.00004762223,0.9327819],"genre_scores_gemma":[0.2479776,0.004730425,0.0720837,0.02007502,0.001443681,0.0000919475,0.00001289497,0.0000586295,0.6535261],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.7815453,"threshold_uncertainty_score":0.6298208,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02804043107938104,"score_gpt":0.3110173742096698,"score_spread":0.2829769431302888,"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."}}