{"id":"W6963671846","doi":"10.24350/cirm.v.20136803","title":"An introduction to Walnut - lecture 2","year":2024,"lang":"en","type":"other","venue":"Centre International de Rencontres Mathématiques","topic":"","field":"","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Winnipeg","funders":"","keywords":"Variety (cybernetics); Presburger arithmetic; Extension (predicate logic); Propositional calculus; Algebra over a field; Truth value; Quantifier (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":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0003019095,0.0006304675,0.0005025369,0.001284042,0.00002926271,0.000518508,0.0009172144,0.0005073121,0.01956597],"category_scores_gemma":[0.0003294281,0.0005896404,0.0002049098,0.00027488,0.00006233108,0.0002061019,0.0001436566,0.0005205791,0.02063247],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008085339,"about_ca_system_score_gemma":0.0001324546,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006839114,"about_ca_topic_score_gemma":0.003731956,"domain_scores_codex":[0.9970115,0.0001982158,0.0004893571,0.001054338,0.0007199387,0.0005266123],"domain_scores_gemma":[0.9983615,0.00003686311,0.0002984049,0.0007479856,0.0002239361,0.0003313514],"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.00005162805,0.0001361301,0.00005506771,0.0001385682,0.0004414334,0.00008315853,0.0011266,0.00005244096,0.001489547,0.01374328,0.9793969,0.003285245],"study_design_scores_gemma":[0.0001935661,0.00004672344,0.0000673651,0.0007638018,0.000107153,0.00006201624,0.00008251867,0.0006565008,0.001052319,0.01008749,0.9863083,0.000572229],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.0003136378,0.002548782,0.002966318,0.02386486,0.007089459,0.001195833,0.002531568,0.004953034,0.9545365],"genre_scores_gemma":[0.006241524,0.0002391112,0.008762849,0.0006891353,0.01882183,0.0001011716,0.001725661,0.002587193,0.9608315],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02317573,"threshold_uncertainty_score":0.9996555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004958449749144341,"score_gpt":0.2799917691764894,"score_spread":0.2750333194273451,"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."}}