{"id":"W2136212246","doi":"10.1007/s00012-004-1902-0","title":"Automated discovery of single axioms for ortholattices","year":2005,"lang":"en","type":"article","venue":"Algebra Universalis","topic":"Natural Language Processing Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Manitoba","funders":"","keywords":"Mathematical proof; Axiom; Mathematics; Algebra over a field; Discrete mathematics; Theoretical computer science; Computer science; Pure 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":[],"consensus_categories":[],"category_scores_codex":[0.0001208098,0.0001089387,0.0001471844,0.0001462911,0.0000607155,0.0001103923,0.0007551358,0.00006696349,0.000004761183],"category_scores_gemma":[0.00005654528,0.00009862974,0.00007300158,0.0003612541,0.00006214188,0.002058638,0.0001596053,0.0000553378,0.000003090374],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005292987,"about_ca_system_score_gemma":0.00004175038,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005924338,"about_ca_topic_score_gemma":0.00003001759,"domain_scores_codex":[0.9992289,0.00002327762,0.0001631754,0.0002408603,0.0001533031,0.000190506],"domain_scores_gemma":[0.9992444,0.000110688,0.0001457635,0.0003499627,0.0001136236,0.00003555604],"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.00003508836,0.0002203586,0.0001226339,0.0001113693,0.00007200377,0.00001592719,0.002723579,0.00003478347,0.09389529,0.8326092,0.003865192,0.06629451],"study_design_scores_gemma":[0.0009396245,0.0004052188,0.0001621478,0.0001644341,0.0000576859,0.00002360369,0.0001968209,0.07783437,0.883114,0.02341516,0.01306767,0.000619286],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08413504,0.001108932,0.9101376,0.001349066,0.0001226803,0.0002416418,0.00001946396,0.002141981,0.0007435746],"genre_scores_gemma":[0.6669512,0.000004153769,0.3326144,0.000122752,0.00002793353,0.00000236466,0.000006073176,0.000007659429,0.0002633756],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8091941,"threshold_uncertainty_score":0.4022004,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0121958295514266,"score_gpt":0.2549839530227904,"score_spread":0.2427881234713638,"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."}}