{"id":"W1508458705","doi":"10.1007/11766247_13","title":"On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT","year":2006,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Data Management and Algorithms","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Quality (philosophy); Artificial intelligence; Theoretical computer science","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.002865632,0.0002680383,0.000435297,0.0005411746,0.0001723024,0.0002881999,0.002303337,0.0001169427,0.000003025604],"category_scores_gemma":[0.0002501533,0.0001856108,0.00008409675,0.0004549017,0.0008603271,0.0003078271,0.001226287,0.0004082228,0.000004444308],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008363389,"about_ca_system_score_gemma":0.0001538767,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001239029,"about_ca_topic_score_gemma":0.0002999038,"domain_scores_codex":[0.9973258,0.00006561285,0.0004918589,0.000911822,0.0008153119,0.0003895521],"domain_scores_gemma":[0.9941122,0.004558867,0.0001611904,0.0009865875,0.0001223058,0.00005887253],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004570053,0.00005991238,0.00005791791,0.00003118278,0.000008318569,0.000009770202,0.0002128061,0.1433508,0.00001656491,0.2855169,0.0000762472,0.5706139],"study_design_scores_gemma":[0.0007443613,0.0001442133,0.0008982506,0.0002716577,0.000004258517,0.000002568714,3.720409e-7,0.7853613,0.0001123517,0.2121305,0.00007896907,0.0002511517],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0006533936,0.0001182422,0.9969512,0.0008234901,0.0003997262,0.0007000857,0.00002507899,0.00002300614,0.0003057752],"genre_scores_gemma":[0.8729525,0.00002172079,0.1260702,0.000675106,0.0001183607,0.00001809911,0.00001372305,0.00001754817,0.0001127763],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8722991,"threshold_uncertainty_score":0.7568987,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05624935494597458,"score_gpt":0.3175180439768304,"score_spread":0.2612686890308559,"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."}}