{"id":"W2912010915","doi":"","title":"Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science)","year":2005,"lang":"en","type":"article","venue":"Theory and Applications of Satisfiability Testing","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Satisfiability; Computer science; Mathematics education; Theoretical computer science; Library science; Mathematics","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.006230524,0.0002921986,0.000518175,0.0003336956,0.0004335974,0.0001183775,0.001137336,0.0001175231,0.0001163852],"category_scores_gemma":[0.005945949,0.0002755742,0.00005560604,0.003221552,0.001684172,0.0004271364,0.0004823722,0.0003633451,0.00000195994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000260376,"about_ca_system_score_gemma":0.001426162,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.01112054,"about_ca_topic_score_gemma":0.02189535,"domain_scores_codex":[0.9962232,0.000625267,0.0009590121,0.001051608,0.0006824129,0.0004585612],"domain_scores_gemma":[0.9875578,0.009204621,0.000415345,0.001103901,0.001493569,0.000224792],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004146953,0.0002920122,0.1693233,0.0002519099,0.00003737755,3.857085e-7,0.0003644046,0.005764909,0.003030122,0.02641107,0.00002169034,0.7944613],"study_design_scores_gemma":[0.001788728,0.0002769249,0.3558094,0.0004403174,0.0001199458,0.00002700886,0.0003726513,0.2094519,0.00613749,0.4225627,0.001717616,0.00129522],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2219278,0.0004208817,0.7746386,0.0004412313,0.00003180078,0.001373241,0.00009993062,0.0001315015,0.0009350285],"genre_scores_gemma":[0.9345054,0.00002062845,0.06508345,0.00007159125,0.00007331317,0.0001891601,0.00001533575,0.00001119846,0.00002992415],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7931661,"threshold_uncertainty_score":0.9999697,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01380900703656474,"score_gpt":0.265525670005974,"score_spread":0.2517166629694093,"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."}}