{"id":"W2943910961","doi":"10.1007/s10817-019-09524-0","title":"Automated Reasoning with Power Maps","year":2019,"lang":"en","type":"article","venue":"Journal of Automated Reasoning","topic":"Advanced Topics in Algebra","field":"Mathematics","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Endomorphism; Mathematical proof; Mathematics; Abelian group; Automated theorem proving; Gas meter prover; Discrete mathematics; Algebra over a field; Torsion (gastropod); Pure mathematics; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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"],"consensus_categories":[],"category_scores_codex":[0.0009194529,0.0003609774,0.0007564495,0.0003212719,0.0001355856,0.0001194359,0.0004713332,0.0002131931,0.000271262],"category_scores_gemma":[0.001034971,0.0002701244,0.0001794796,0.0005465937,0.00007266182,0.0006256503,0.00009591887,0.0007736398,0.00009446],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002504749,"about_ca_system_score_gemma":0.000222866,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003728014,"about_ca_topic_score_gemma":0.000001815371,"domain_scores_codex":[0.9972501,0.0001415421,0.0009234719,0.0002850232,0.000837345,0.000562508],"domain_scores_gemma":[0.9967031,0.0004979962,0.001519914,0.0005263939,0.0005367898,0.0002158073],"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":[0.002552957,0.002025807,0.07507745,0.001596394,0.005659749,0.006904296,0.01561715,0.01221232,0.0451896,0.7401167,0.0887553,0.004292328],"study_design_scores_gemma":[0.04256415,0.01069049,0.09055231,0.05166524,0.002648639,0.05900485,0.01410938,0.3628276,0.06236868,0.2539918,0.04025243,0.009324358],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9838067,0.0002478438,0.001993206,0.0001978933,0.0007124127,0.0002677965,0.000004560915,0.001953834,0.01081581],"genre_scores_gemma":[0.784048,0.00001492419,0.2149057,0.00007584723,0.0001192683,0.000002620665,0.00000278142,0.0001104348,0.0007205066],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4861248,"threshold_uncertainty_score":0.9999751,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01264593495004623,"score_gpt":0.2963992426726911,"score_spread":0.2837533077226448,"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."}}