{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006226069,0.0004700683,0.0004862559,0.0005414612,0.0006591521,0.001519548,0.001481257,0.0005860617,0.0146109],"category_scores_gemma":[0.002197186,0.000496937,0.0006522618,0.0007662318,0.0004597229,0.002176218,0.001420971,0.001084368,0.005815423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005065806,"about_ca_system_score_gemma":0.0007705431,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001312955,"about_ca_topic_score_gemma":0.001870164,"domain_scores_codex":[0.9993441,0.0001421987,0.00003502053,0.00008226369,0.0002798162,0.0001166555],"domain_scores_gemma":[0.99924,0.0002086682,0.0000375085,0.000269292,0.0001986553,0.00004580109],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001174306,0.000270216,0.001766964,0.0006010974,0.0001360177,0.0007774521,0.0007604017,0.05574981,0.05940546,0.2982451,0.05818604,0.5229271],"study_design_scores_gemma":[0.0003210176,0.0005310278,0.0008255854,0.0001591067,0.0001029298,0.0009164974,0.000165102,0.4500446,0.1004278,0.2376719,0.2086854,0.0001489342],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.007285719,0.0001003693,0.9654819,0.00008206286,0.00004556578,0.00004601417,0.0002309196,0.01962551,0.007101972],"genre_scores_gemma":[0.2240728,0.0002030187,0.755627,0.0002542122,0.00006873463,0.0003344006,0.0009448502,0.003625586,0.01486947],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.0146109,"threshold_uncertainty_score":0.04887837,"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."}}