{"id":"W4407950591","doi":"10.1109/synasc65383.2024.00021","title":"An Abstraction-Preserving Block Matrix Implementation in Maple","year":2024,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Western University; University of Waterloo","funders":"","keywords":"Maple; Block (permutation group theory); Abstraction; Computer science; Matrix (chemical analysis); Programming language; Parallel computing; Mathematics; Combinatorics; Materials science","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.0003093736,0.00006288561,0.00005924754,0.0001107864,0.00004184346,0.0004641484,0.0003196644,0.00003099544,0.0001477005],"category_scores_gemma":[0.000002956403,0.00005241962,0.00002500936,0.0002763672,0.000004587298,0.0007583293,0.00006166242,0.00006811399,0.0001926709],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003887374,"about_ca_system_score_gemma":0.00003595188,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001921045,"about_ca_topic_score_gemma":0.001247342,"domain_scores_codex":[0.9992436,0.00003155899,0.0001729939,0.0002430376,0.0001411609,0.000167679],"domain_scores_gemma":[0.9996446,0.00002799251,0.00002106428,0.0002459871,0.00001895186,0.00004136244],"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.000001541409,0.00006217668,0.007453709,0.00009474677,0.00001589198,0.00007278554,0.002316993,0.0002507829,0.002655467,0.9026884,0.004115939,0.08027159],"study_design_scores_gemma":[0.0009928244,0.0004867434,0.04633179,0.00002816018,0.00001742591,0.0001927135,0.004803809,0.5135256,0.01174941,0.1814186,0.2394362,0.001016703],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1277877,0.0007065682,0.8358862,0.00148885,0.00285356,0.0006464829,0.000001340009,0.001461583,0.02916769],"genre_scores_gemma":[0.9952243,0.000004010425,0.003811742,0.0000315153,0.00009794366,0.00001698054,0.000004232834,0.000004932288,0.000804356],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8674366,"threshold_uncertainty_score":0.4475793,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02255974977090991,"score_gpt":0.3392054255845851,"score_spread":0.3166456758136751,"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."}}