{"id":"W4402509715","doi":"10.46298/cm.12627","title":"Proving Properties of $\\varphi$-Representations with the Walnut Theorem-Prover","year":2024,"lang":"en","type":"article","venue":"Communications in Mathematics","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Simple (philosophy); Mathematical proof; Mathematics; Automaton; Automated theorem proving; Algebra over a field; Mathematical induction; Calculus (dental); Discrete mathematics; Pure mathematics; Algorithm; Theoretical computer science; Computer science; Epistemology","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":[],"consensus_categories":[],"category_scores_codex":[0.0006034534,0.00008897484,0.0001159611,0.0001013808,0.0001327585,0.0001684536,0.0022876,0.00002564435,0.000005592565],"category_scores_gemma":[0.00007978137,0.00004944192,0.00003606357,0.0005803305,0.0003020262,0.0003291534,0.0006481574,0.0001795175,0.00001833227],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002519124,"about_ca_system_score_gemma":0.00008393339,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001690936,"about_ca_topic_score_gemma":0.00003028546,"domain_scores_codex":[0.9992198,0.0001080302,0.0002534759,0.0001329538,0.0001690901,0.0001167022],"domain_scores_gemma":[0.9969207,0.0005578656,0.00007490101,0.002370825,0.00006037388,0.00001531475],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[7.499184e-7,0.0001053527,0.00002774527,0.0001384898,0.00001831313,8.553047e-7,0.01479053,0.00007899145,0.001504946,0.9782526,0.0001966932,0.004884759],"study_design_scores_gemma":[0.0001233004,0.00002935297,0.0001110401,0.0008706966,0.00002473363,0.00002862421,0.003858,0.775206,0.003864434,0.214046,0.001670059,0.0001677248],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1312974,0.010931,0.7753754,0.03084366,0.0002211852,0.002060992,0.00001194073,0.0008525209,0.04840592],"genre_scores_gemma":[0.918505,0.00008018282,0.08091825,0.00004765489,0.000007985085,0.0001137625,0.000001379458,0.00001147234,0.0003142914],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7872076,"threshold_uncertainty_score":0.4250968,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04536069003343324,"score_gpt":0.2867431072126072,"score_spread":0.241382417179174,"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."}}