{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008896736,0.001178541,0.001167443,0.002342441,0.002367006,0.01306758,0.003144566,0.003890638,0.05793911],"category_scores_gemma":[0.01208628,0.001192946,0.002117874,0.002397818,0.005369705,0.01420799,0.006591698,0.008250101,0.01512448],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004475421,"about_ca_system_score_gemma":0.006121197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003451048,"about_ca_topic_score_gemma":0.003934165,"domain_scores_codex":[0.9932306,0.002799887,0.0005516568,0.001086512,0.001845869,0.000485468],"domain_scores_gemma":[0.9943213,0.00269483,0.0001751776,0.0009359085,0.00125475,0.0006179898],"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.00009618479,0.0001176499,0.0003713655,0.0006219115,0.00005463083,0.0001701529,0.002251471,0.001076621,0.001128102,0.4349399,0.368205,0.190967],"study_design_scores_gemma":[0.00001280195,0.00001630338,0.0001168039,0.0003938571,0.00001327622,0.0001391029,0.0003193772,0.0007316946,0.0003150506,0.06165475,0.9362679,0.00001910856],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00561573,0.1107154,0.3752997,0.1149088,0.03917237,0.0005742492,0.001465307,0.003118577,0.3491299],"genre_scores_gemma":[0.08363926,0.08169028,0.3430237,0.01819689,0.02040859,0.001084993,0.005167892,0.004244464,0.4425439],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.05793911,"threshold_uncertainty_score":0.1938257,"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."}}