{"id":"W561904017","doi":"","title":"4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) : Montreal, Canada, 2 August 2009","year":2009,"lang":"en","type":"book","venue":"Association for Computing Machinery eBooks","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Library science; Political science; Linguistics; Computer science; Philosophy","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.003021435,0.001382074,0.001447201,0.001819452,0.002559186,0.008587945,0.003209417,0.001832869,0.1103686],"category_scores_gemma":[0.003124002,0.0009480733,0.001666451,0.002965333,0.001940024,0.005837185,0.003152318,0.002983474,0.02838748],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.008717044,"about_ca_system_score_gemma":0.01587238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.2276511,"about_ca_topic_score_gemma":0.3750957,"domain_scores_codex":[0.9988933,0.0002273259,0.0000501075,0.0001723521,0.0004142599,0.0002425895],"domain_scores_gemma":[0.9982846,0.0002577082,0.00003992949,0.0002781658,0.0008001549,0.0003393401],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001152091,0.0001093151,0.000393793,0.0003187355,0.00002995246,0.0001402362,0.0006565542,0.001354918,0.002219535,0.04581011,0.6900545,0.2587971],"study_design_scores_gemma":[0.00002768017,0.0000284164,0.0008092601,0.0003263334,0.00003186683,0.0001600942,0.0003006356,0.003729778,0.001680137,0.0212391,0.9716254,0.00004110465],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.01057664,0.05420541,0.4831665,0.04431318,0.01551216,0.0007445185,0.008107536,0.01570384,0.3676702],"genre_scores_gemma":[0.03017166,0.02338083,0.171445,0.002187549,0.001662483,0.0003184376,0.00983142,0.004113012,0.7568897],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.2276511,"threshold_uncertainty_score":0.4526521,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01615411347494554,"score_gpt":0.2736656271352602,"score_spread":0.2575115136603146,"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."}}