{"id":"W4393161746","doi":"10.1609/aaai.v38i21.30472","title":"A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)","year":2024,"lang":"en","type":"article","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Solver; Boolean satisfiability problem; Algebra over a field; Computer science; Mathematics; Theoretical computer science; Programming language; 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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001108112,0.0004290594,0.0003671579,0.0001552962,0.0002978707,0.001414737,0.002725671,0.0001347798,0.0001169761],"category_scores_gemma":[0.0001125209,0.0002569596,0.0001995334,0.0007301062,0.0005647254,0.0004586029,0.001335095,0.0006909088,0.0003180117],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009894989,"about_ca_system_score_gemma":0.0001266768,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002327575,"about_ca_topic_score_gemma":0.00001177016,"domain_scores_codex":[0.9966943,0.00003475147,0.000737319,0.001083495,0.0009081501,0.0005420048],"domain_scores_gemma":[0.998019,0.0005540978,0.000244384,0.0005713911,0.0004717177,0.0001394091],"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.00002897775,0.0002712688,0.0001778,0.0001065102,0.00005097258,0.000004041843,0.004359644,0.00007567617,0.003515139,0.8894089,0.001816442,0.1001846],"study_design_scores_gemma":[0.00007536284,0.0008996647,0.004727607,0.001185976,0.00004665678,0.00004276308,0.0007840337,0.4746338,0.09031141,0.4243259,0.002081125,0.0008856859],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.889788,0.0002848593,0.04749089,0.04155604,0.002635046,0.002479874,0.00001527071,0.0006414959,0.01510854],"genre_scores_gemma":[0.9939158,0.00004646832,0.004769322,0.0007209816,0.0002582889,0.0000534887,4.793127e-7,0.00002330511,0.0002118764],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4745581,"threshold_uncertainty_score":0.9999883,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09548648366521736,"score_gpt":0.3136524873250511,"score_spread":0.2181660036598338,"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."}}