{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007779188,0.001396795,0.001094357,0.01063526,0.001374808,0.003683216,0.002159718,0.0007506026,0.03454981],"category_scores_gemma":[0.004421981,0.001294133,0.001874766,0.008217116,0.000769087,0.007292287,0.002760697,0.001822711,0.02596408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001333539,"about_ca_system_score_gemma":0.001903034,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004078194,"about_ca_topic_score_gemma":0.01151439,"domain_scores_codex":[0.9991437,0.0001371371,0.00007068407,0.0001716299,0.0003790797,0.00009779746],"domain_scores_gemma":[0.9977869,0.0008931695,0.00009493303,0.000594051,0.0005697529,0.00006122297],"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.000248697,0.0001937634,0.001897383,0.001311563,0.0001176508,0.0004309978,0.0006028406,0.005363251,0.007409266,0.1069304,0.1534811,0.7220131],"study_design_scores_gemma":[0.0001149341,0.00009134029,0.001722784,0.0005728822,0.000298575,0.000566826,0.0008772654,0.0662229,0.03742686,0.2579233,0.6340471,0.0001352191],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01702531,0.002236426,0.767666,0.001114099,0.0003829591,0.0003606561,0.02938372,0.1112473,0.07058361],"genre_scores_gemma":[0.09958263,0.00264577,0.7298926,0.0005061863,0.0002293396,0.0003928445,0.09121768,0.02349333,0.05203958],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03454981,"threshold_uncertainty_score":0.1155806,"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."}}