{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004679568,0.00109009,0.0009921518,0.001771204,0.001863709,0.004802105,0.003910315,0.001737241,0.01017214],"category_scores_gemma":[0.02282976,0.001667264,0.002875583,0.001781346,0.005420968,0.015589,0.008318095,0.006879522,0.002557881],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00188183,"about_ca_system_score_gemma":0.002144076,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001762062,"about_ca_topic_score_gemma":0.001761442,"domain_scores_codex":[0.9943627,0.001509113,0.0003738379,0.001045807,0.002019858,0.0006886516],"domain_scores_gemma":[0.9893144,0.007514637,0.0004053462,0.001810011,0.0007509891,0.0002045314],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003364793,0.00002782598,0.0001988514,0.0001074245,0.00002713081,0.0001244919,0.0004712866,0.001904124,0.001624323,0.9788023,0.003180524,0.01349807],"study_design_scores_gemma":[0.00003181293,0.00002636019,0.00009325778,0.00004574749,0.00003506525,0.0001340168,0.0001482682,0.01417703,0.006016982,0.9688256,0.01043979,0.00002620609],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01911481,0.0002737148,0.9502497,0.001928484,0.000268746,0.0001374276,0.0003453522,0.002901184,0.02478054],"genre_scores_gemma":[0.5944363,0.0009061339,0.3813623,0.002516855,0.0005135288,0.0005343127,0.001545878,0.001875415,0.01630917],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01017214,"threshold_uncertainty_score":0.03402925,"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."}}