{"id":"W4393161644","doi":"10.1609/aaai.v38i21.30437","title":"A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (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":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor; University of Waterloo","funders":"","keywords":"Computer science; Algebra over a field; Symbolic computation; Programming language; Calculus (dental); Theoretical computer science; Mathematics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003758269,0.000541082,0.0006468879,0.0006813802,0.001592219,0.002583868,0.001913673,0.001143557,0.01649838],"category_scores_gemma":[0.01427666,0.0006680469,0.00209003,0.000665033,0.002606268,0.003825236,0.003271045,0.003261933,0.001697456],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002075096,"about_ca_system_score_gemma":0.004989724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006332401,"about_ca_topic_score_gemma":0.008772328,"domain_scores_codex":[0.995753,0.001538096,0.0001936367,0.000814985,0.001192298,0.0005080652],"domain_scores_gemma":[0.987232,0.009328538,0.0004357354,0.001402008,0.001268074,0.0003336741],"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.0009854519,0.0008845803,0.004268061,0.0007813909,0.0002634865,0.001328703,0.0005995196,0.08215056,0.03430074,0.6926872,0.05379599,0.1279543],"study_design_scores_gemma":[0.0005332008,0.0004349553,0.001413869,0.0001039076,0.0001624944,0.0004712223,0.0002087766,0.6339288,0.05688861,0.2812053,0.02455814,0.00009068528],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.126892,0.0003188788,0.7902243,0.006616825,0.0007844967,0.0008139602,0.001419642,0.01008189,0.06284805],"genre_scores_gemma":[0.6472634,0.0001587757,0.338214,0.001354975,0.0002514643,0.0002983519,0.001193224,0.0004648861,0.01080088],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01649838,"threshold_uncertainty_score":0.05519259,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04920799804165031,"score_gpt":0.2839430372953485,"score_spread":0.2347350392536982,"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."}}