{"id":"W2405978955","doi":"10.1007/978-3-319-23264-5_37","title":"Clause-Learning for Modular Systems","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Modular design; Programming language; Artificial intelligence","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.001707261,0.0007844316,0.000621548,0.0009048205,0.0006463139,0.001425063,0.001992836,0.0009705547,0.02072517],"category_scores_gemma":[0.00841679,0.0006315684,0.001131063,0.001159123,0.002102308,0.006215258,0.00310743,0.003831862,0.002499061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00131738,"about_ca_system_score_gemma":0.0006091017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001068648,"about_ca_topic_score_gemma":0.001791855,"domain_scores_codex":[0.99901,0.0003731233,0.00005528654,0.0001791644,0.0002990415,0.00008337444],"domain_scores_gemma":[0.9964651,0.002736036,0.00009494906,0.0004217248,0.0002095129,0.00007266428],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004150806,0.00003859255,0.0002324871,0.0001988564,0.00002565425,0.00003552134,0.000159603,0.01629751,0.0007924182,0.8533961,0.007798142,0.1209836],"study_design_scores_gemma":[0.00001116516,0.000007586432,0.00005055362,0.00002244996,0.00000737082,0.00001540442,0.0000145983,0.03676004,0.0004135788,0.9590988,0.003593339,0.000005124774],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01115779,0.001351316,0.9602193,0.001065266,0.00009778512,0.00006558219,0.0002113986,0.0009534938,0.02487816],"genre_scores_gemma":[0.4483011,0.002001115,0.517631,0.0005622172,0.0004484591,0.0002865934,0.001777916,0.000814477,0.02817715],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02072517,"threshold_uncertainty_score":0.0693326,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03284165874284529,"score_gpt":0.2586165509156464,"score_spread":0.2257748921728012,"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."}}