{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006291431,0.00190628,0.002209479,0.005212774,0.001527294,0.007637015,0.002810594,0.002188033,0.01456358],"category_scores_gemma":[0.01252128,0.002460088,0.001459442,0.007012423,0.006383749,0.005659817,0.002386737,0.005581865,0.002544068],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007809036,"about_ca_system_score_gemma":0.00816162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.03057149,"about_ca_topic_score_gemma":0.03174659,"domain_scores_codex":[0.9956612,0.001183897,0.0003323682,0.0006694871,0.001876549,0.0002765857],"domain_scores_gemma":[0.9899315,0.005485975,0.0002505196,0.001013953,0.002816758,0.0005013086],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001714346,0.0001811287,0.00238623,0.0008395746,0.0001432133,0.0001619288,0.0003489904,0.0273363,0.00236321,0.2846469,0.1249901,0.5564309],"study_design_scores_gemma":[0.00008338552,0.000122009,0.002910714,0.0008793981,0.0001771635,0.0007251312,0.0002813126,0.1609772,0.003269467,0.5416059,0.2888764,0.00009194855],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.008170591,0.2056951,0.6919751,0.02313071,0.006271405,0.0001849312,0.0008958303,0.001606781,0.06206957],"genre_scores_gemma":[0.1807293,0.1954842,0.543079,0.003247336,0.009947843,0.0005154476,0.004413015,0.001075305,0.06150866],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.03057149,"threshold_uncertainty_score":0.06078708,"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."}}