{"id":"W1976591314","doi":"10.1145/355045.355061","title":"Composing features and resolving interactions","year":2000,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":89,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00594194,0.001315752,0.001036822,0.001248171,0.001937281,0.00334089,0.002979888,0.002218508,0.004806294],"category_scores_gemma":[0.01910878,0.001437514,0.001360292,0.0008386776,0.004502909,0.008927448,0.007379624,0.003188657,0.001238217],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009895293,"about_ca_system_score_gemma":0.001685398,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001908438,"about_ca_topic_score_gemma":0.002023169,"domain_scores_codex":[0.9914848,0.002044648,0.0006584483,0.001723123,0.002975356,0.001113704],"domain_scores_gemma":[0.9880447,0.0045976,0.0008516408,0.004925237,0.001119583,0.000461205],"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.0004192673,0.00026848,0.007947537,0.0005724625,0.0001812658,0.003990594,0.008668592,0.0460373,0.05297144,0.4845016,0.006691906,0.3877496],"study_design_scores_gemma":[0.0001028502,0.0003043371,0.001569411,0.0002029491,0.0002908354,0.001527619,0.001355892,0.1363119,0.06483605,0.6760885,0.1172466,0.0001631655],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04638662,0.0002442661,0.9371178,0.0005416847,0.0001282379,0.000176671,0.00005362561,0.004116966,0.01123417],"genre_scores_gemma":[0.3837157,0.0002840742,0.6017392,0.0003216928,0.0001311222,0.0002728219,0.0002429214,0.001723965,0.01156855],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00594194,"threshold_uncertainty_score":0.03142434,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02059891819269703,"score_gpt":0.3042032797844661,"score_spread":0.283604361591769,"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."}}