{"id":"W7096725793","doi":"","title":"Fifty-Five Solvers in Vancouver: The SAT 2004 Competition","year":2008,"lang":"en","type":"article","venue":"","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Competition (biology); Software; Set (abstract data type); Process (computing); Snapshot (computer storage)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0000831748,0.00005649342,0.00005516738,0.00006024121,0.0001251416,0.00002616119,0.0001833539,0.00002606955,0.0002979131],"category_scores_gemma":[0.0000125387,0.00004133331,0.00002736995,0.000255044,0.00005306711,0.0003154793,0.00004132394,0.00007651773,0.00008269798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005012211,"about_ca_system_score_gemma":0.00005489544,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001517363,"about_ca_topic_score_gemma":0.002336017,"domain_scores_codex":[0.9994724,0.00003419344,0.0001120703,0.0001405791,0.0001312528,0.0001095098],"domain_scores_gemma":[0.9996724,0.00005443582,0.0000307984,0.000183271,0.00003185213,0.0000272854],"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.00003132114,0.0002856664,0.06379773,0.00001614171,0.00003994643,0.000127666,0.01512803,0.1544668,0.0003233898,0.4566827,0.1965738,0.1125268],"study_design_scores_gemma":[0.002060174,0.00009317479,0.2032958,0.00003320581,0.000005179973,0.0001186737,0.001167836,0.7488593,0.0006440217,0.00368779,0.03949578,0.000539033],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00831123,0.00001646731,0.9553999,0.001782089,0.0005685746,0.0001394916,8.329149e-7,0.0001273097,0.03365411],"genre_scores_gemma":[0.9798206,0.00004402975,0.01698002,0.001084375,0.00002119767,0.000005640575,0.000002382613,0.000002654745,0.002039087],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9715094,"threshold_uncertainty_score":0.3261939,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01029536189614184,"score_gpt":0.2013578029232345,"score_spread":0.1910624410270927,"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."}}