{"id":"W2917622917","doi":"10.1145/3313880.3313889","title":"The SAT+CAS paradigm and the Williamson conjecture","year":2019,"lang":"en","type":"article","venue":"ACM communications in computer algebra","topic":"graph theory and CDMA systems","field":"Engineering","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Wilfrid Laurier University; University of Waterloo","funders":"","keywords":"Conjecture; Preprint; Construct (python library); Symbolic computation; Set (abstract data type); Order (exchange); Satisfiability; Computer science; Computation; Mathematics; Discrete mathematics; Algebra over a field; Combinatorics; Pure mathematics; Algorithm; Programming language","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.000537843,0.0001142872,0.0001497539,0.00003703171,0.0002285233,0.0001094266,0.001655914,0.00005713113,0.000005078426],"category_scores_gemma":[0.00001733358,0.00006859902,0.0000454241,0.0001937989,0.000246569,0.000077455,0.0004451591,0.0003338978,0.00005918889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002061002,"about_ca_system_score_gemma":0.000006849173,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001814506,"about_ca_topic_score_gemma":0.0000932469,"domain_scores_codex":[0.9991787,0.0002721999,0.0002177214,0.0001017937,0.00007212057,0.0001574788],"domain_scores_gemma":[0.9954531,0.001662505,0.00003260245,0.002816964,0.00001125566,0.00002356419],"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.00001948394,0.00002267286,0.007781253,0.00003609254,0.0001284497,8.510214e-7,0.005036915,0.003637801,0.00002675203,0.9468053,0.001776409,0.03472802],"study_design_scores_gemma":[0.002741114,0.00005153101,0.03873992,0.0001755645,0.00003433457,0.00008946322,0.0003991238,0.3387364,0.00005314521,0.419914,0.198573,0.0004925079],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9531202,0.02279112,0.005038676,0.01240439,0.001044308,0.001218061,0.000006913852,0.0003405696,0.004035734],"genre_scores_gemma":[0.9976519,0.001056942,0.0009562815,0.0001866801,0.00003884924,0.00005405105,0.000007043675,0.0000155316,0.00003266359],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.5268914,"threshold_uncertainty_score":0.3077127,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009385561501334055,"score_gpt":0.2227611122381482,"score_spread":0.2133755507368141,"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."}}