{"id":"W4386297954","doi":"10.1007/978-3-031-42753-4_24","title":"Extracting Theory Graphs from Aldor Libraries","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Morphism; Programming language; Set (abstract data type); Algebraic expression; Algebraic number; Theoretical computer science; Expression (computer science); Algebra over a field; Discrete mathematics; Mathematics","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001438586,0.0005918804,0.0006158237,0.000763799,0.0004258841,0.001660298,0.004303987,0.0004369643,0.00003477529],"category_scores_gemma":[0.0002129555,0.0004985416,0.0002134527,0.0008371914,0.0007736863,0.001122701,0.001839546,0.0009453252,0.0002718249],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001044289,"about_ca_system_score_gemma":0.0004594095,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001104168,"about_ca_topic_score_gemma":0.00009447977,"domain_scores_codex":[0.9956133,0.00008980452,0.0006035703,0.001830422,0.00104258,0.0008203229],"domain_scores_gemma":[0.9957648,0.001840634,0.0004191165,0.00162687,0.0001486714,0.000199914],"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.000003430486,0.00001185632,0.00006563908,0.00001953091,0.00001914097,0.0001517054,0.00119102,0.0005999577,0.00003485522,0.5778666,0.00003486862,0.4200014],"study_design_scores_gemma":[0.0001440197,0.00008336308,0.0001171242,0.00009274463,0.000009104182,0.00002751072,0.000001043362,0.03205236,0.0005034831,0.9626236,0.003743783,0.0006018704],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0000312579,0.0009683252,0.9828705,0.0003251424,0.0053951,0.0003634077,0.000004105544,0.0007542406,0.009287955],"genre_scores_gemma":[0.6251538,0.0001457171,0.361336,0.0026448,0.002858619,0.00005379731,0.00004226495,0.0002092671,0.007555754],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6251225,"threshold_uncertainty_score":0.9997466,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02806533489442932,"score_gpt":0.2408855022661612,"score_spread":0.2128201673717319,"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."}}