{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001855742,0.0006057366,0.0007317759,0.0006622311,0.0003825346,0.0009678996,0.003957273,0.0004786678,0.000006553556],"category_scores_gemma":[0.0003403388,0.0005231339,0.0001898385,0.0004845548,0.0004370857,0.0005912315,0.001295419,0.0008734874,0.00008886235],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004603601,"about_ca_system_score_gemma":0.0008117693,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002191319,"about_ca_topic_score_gemma":0.00002215898,"domain_scores_codex":[0.9957137,0.00005809143,0.0005386135,0.001769259,0.001013148,0.000907187],"domain_scores_gemma":[0.9966885,0.0005501262,0.0003758975,0.0013334,0.0007372742,0.0003147297],"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.00001258364,0.00004759825,0.00008217132,0.0001938938,0.0000364761,0.0001006137,0.00189887,0.2937709,0.0001070302,0.3303656,0.0005311884,0.372853],"study_design_scores_gemma":[0.0003540394,0.0003054059,0.00001393012,0.0002969941,0.0000104261,0.00007412408,3.362319e-7,0.8401012,0.00009464685,0.113105,0.04496474,0.0006792069],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002137034,0.003045938,0.9793194,0.0001775138,0.004386049,0.0006965578,0.000002959836,0.0003335688,0.01201668],"genre_scores_gemma":[0.4554525,0.0001254761,0.5250261,0.0008617651,0.004546346,0.000125613,0.00002981705,0.0001907564,0.01364156],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5463302,"threshold_uncertainty_score":0.999722,"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."}}