{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006933659,0.00132618,0.0009450251,0.002189762,0.001613411,0.004236688,0.001404493,0.001260931,0.2022013],"category_scores_gemma":[0.002049469,0.0008078149,0.001038464,0.002383725,0.0009506073,0.004872168,0.002460459,0.003740145,0.09574308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001915542,"about_ca_system_score_gemma":0.001421882,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001717839,"about_ca_topic_score_gemma":0.002709392,"domain_scores_codex":[0.9992453,0.00007562116,0.00004390688,0.0001965748,0.0003419933,0.00009660542],"domain_scores_gemma":[0.9994235,0.0001624294,0.00002400678,0.00006489518,0.0001836381,0.0001416299],"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.00005910782,0.0001029466,0.0002294116,0.0002293232,0.000009260129,0.000133255,0.0002896217,0.0007738648,0.002007645,0.1543366,0.6798146,0.1620144],"study_design_scores_gemma":[0.000004746573,0.00002290293,0.0002612196,0.0001176725,0.000003370228,0.000129444,0.00004010236,0.0003441547,0.0003590947,0.03401981,0.9646838,0.00001369375],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.003578959,0.01590761,0.1175274,0.0151205,0.01830713,0.0002493,0.003959321,0.007965819,0.8173839],"genre_scores_gemma":[0.02416292,0.009403126,0.04181557,0.004487189,0.004724722,0.0002395153,0.005060975,0.004326312,0.9057796],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2022013,"threshold_uncertainty_score":0.6764307,"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."}}