{"id":"W3175289964","doi":"10.1609/aaai.v35i7.16775","title":"Algebra of Modular Systems: Containment and Equivalence","year":2021,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Modular design; Homomorphism; Algebra over a field; Equivalence (formal languages); Computer science; Universal algebra; Class (philosophy); Containment (computer programming); Mathematics; Discrete mathematics; Programming language; Pure mathematics; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.0005321827,0.0001620799,0.0002973182,0.00007104776,0.0001048694,0.0001619173,0.000839194,0.00007125417,0.00002046091],"category_scores_gemma":[0.000259073,0.0001253432,0.00007625022,0.00037276,0.0001453162,0.0003310315,0.0003719638,0.0001272858,0.00001221542],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003410684,"about_ca_system_score_gemma":0.00008608111,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007940963,"about_ca_topic_score_gemma":0.000004755397,"domain_scores_codex":[0.9981871,0.0000333592,0.0006058533,0.0004303069,0.0005161347,0.0002272172],"domain_scores_gemma":[0.9983006,0.00007817784,0.0004769643,0.0003143121,0.0007543172,0.0000756757],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00001091377,0.00008061762,0.0005398105,0.0001567612,0.00001602148,7.621662e-7,0.0009975464,0.0000641005,0.1752482,0.8164026,0.00002778216,0.006454924],"study_design_scores_gemma":[0.00004603999,0.0001374833,0.001165728,0.0006372092,0.00001462435,0.00001327913,0.001206986,0.133378,0.8373954,0.02573786,0.00007999897,0.0001874117],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8864812,0.0004929425,0.1053876,0.002050978,0.0009782441,0.0006934438,0.00001000919,0.00006570391,0.003839921],"genre_scores_gemma":[0.9982168,0.0001114147,0.00136458,0.00005748153,0.00003569209,0.00001768033,3.193645e-7,0.000006634122,0.0001893915],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7906647,"threshold_uncertainty_score":0.5111347,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07069733516030524,"score_gpt":0.2791984966351453,"score_spread":0.20850116147484,"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."}}