{"id":"W2989341942","doi":"10.1007/s00200-020-00426-y","title":"A nonexistence certificate for projective planes of order ten with weight 15 codewords","year":2020,"lang":"en","type":"article","venue":"Applicable Algebra in Engineering Communication and Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Wilfrid Laurier University; Carleton University; University of Waterloo","funders":"","keywords":"Satisfiability; Certificate; Symbolic computation; Simple (philosophy); Projective test; Projective plane; Computation; Theory of computation","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.0003839345,0.0001321038,0.0002158238,0.00007540187,0.00007952803,0.00005063373,0.000761944,0.00005161376,6.054314e-7],"category_scores_gemma":[0.00008491985,0.0001251014,0.00001857703,0.0006941476,0.00005066902,0.0001859447,0.0002499797,0.000173131,0.000001003317],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002136972,"about_ca_system_score_gemma":0.00002971025,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002982896,"about_ca_topic_score_gemma":0.000001943604,"domain_scores_codex":[0.9990536,0.00004437742,0.0003106369,0.0002878619,0.0001163626,0.000187186],"domain_scores_gemma":[0.9988865,0.0002741614,0.0001533899,0.0005261628,0.0001038921,0.00005587397],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001626361,0.0002130522,0.004110266,0.001092542,0.0001002703,0.000001745239,0.01453961,0.1046824,0.01366399,0.7820197,0.00006648369,0.07934726],"study_design_scores_gemma":[0.0003722765,0.00008907418,0.001791474,0.00008724197,0.000005317499,0.000006084674,0.000116975,0.9897149,0.006435539,0.0004054279,0.0008114965,0.0001642111],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02465208,0.0002302122,0.9736151,0.0005837146,0.00001752029,0.0005150382,0.000001797441,0.0001388757,0.0002456734],"genre_scores_gemma":[0.5233744,0.00002053425,0.4764628,0.00006160944,0.000008692071,0.00005749696,0.000004203457,0.000008550225,0.000001713178],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8850325,"threshold_uncertainty_score":0.5101488,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03974349600337897,"score_gpt":0.2590012909516102,"score_spread":0.2192577949482312,"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."}}