{"id":"W4379251739","doi":"10.48550/arxiv.2306.00104","title":"Teaching Linear Algebra in a Mechanized Mathematical Environment","year":2023,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Mathematics Education and Teaching Techniques","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Ministerio de Ciencia e Innovación","keywords":"Python (programming language); Linear algebra; Algebra over a field; Maple; Computer science; Mathematics education; MATLAB; Symbolic computation; Programming language; Mathematics; Pure mathematics; Geometry","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002071691,0.0002062424,0.0003229236,0.000322356,0.0002772062,0.00005390637,0.0007261306,0.0003406164,0.0004842623],"category_scores_gemma":[0.0003878819,0.0002427959,0.0001491907,0.0001838461,0.0001322863,0.00008595025,0.0005989618,0.0009231959,0.0004228689],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004640528,"about_ca_system_score_gemma":0.0001837727,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002035843,"about_ca_topic_score_gemma":0.0003472557,"domain_scores_codex":[0.9981667,0.0005378201,0.0002562169,0.0005506351,0.0001601971,0.0003283851],"domain_scores_gemma":[0.9987978,0.0003030014,0.0001890679,0.0005389693,0.00002157079,0.000149577],"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.000005350686,0.0001970733,0.0001950122,0.00008636834,0.00002251702,0.00004022447,0.01032845,0.0005699483,0.000006932205,0.9881006,0.0003023494,0.0001451294],"study_design_scores_gemma":[0.0001562949,0.00001038564,0.0000285382,0.0001951002,0.00003629038,3.544029e-7,0.002661678,0.02570156,0.00001480372,0.9685072,0.002408911,0.0002789273],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2454188,0.0000167651,0.6966502,0.001876233,0.0004823403,0.001407597,0.00001680832,0.001519697,0.05261149],"genre_scores_gemma":[0.978602,0.0001528483,0.00947939,0.00005431633,0.0001079088,0.000006713623,0.00001313704,0.00003444363,0.01154928],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7331831,"threshold_uncertainty_score":0.9900929,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1554897569855435,"score_gpt":0.2693834646561127,"score_spread":0.1138937076705692,"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."}}