{"id":"W2960547283","doi":"10.1007/978-3-030-20323-8_9","title":"An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions","year":2019,"lang":"en","type":"book-chapter","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Boolean function; Affine transformation; Equivalence (formal languages); Mathematics; Algorithm; Boolean expression; Equivalence class (music); Class (philosophy); Representation (politics); Sequence (biology); And-inverter graph; Discrete mathematics; Computer science; Pure mathematics; 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.001054254,0.001493122,0.001270944,0.002627542,0.001481222,0.004208242,0.002653519,0.001488331,0.02506808],"category_scores_gemma":[0.005370782,0.0008663578,0.002042035,0.002485955,0.001107377,0.00531314,0.003157816,0.002843864,0.01365929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002011281,"about_ca_system_score_gemma":0.001763405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002272684,"about_ca_topic_score_gemma":0.003089921,"domain_scores_codex":[0.9986421,0.0001998405,0.0001531237,0.0004020842,0.0004730604,0.0001297336],"domain_scores_gemma":[0.9979394,0.000847201,0.00007977987,0.0004908128,0.0005675178,0.00007513956],"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.0001715046,0.0001351515,0.0004026395,0.0002557149,0.00003771744,0.00005777787,0.0001772876,0.005420249,0.006059408,0.2043453,0.03458102,0.7483562],"study_design_scores_gemma":[0.0001230218,0.00009696217,0.0006254843,0.0001540622,0.00007157381,0.000423757,0.0002248059,0.2267703,0.01532007,0.6721116,0.08400369,0.00007472611],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003220588,0.0002260108,0.9799714,0.0002028962,0.0001613171,0.000140312,0.0003925154,0.005823198,0.009861847],"genre_scores_gemma":[0.03186755,0.0001696491,0.9530839,0.0001445647,0.00008503509,0.0002540023,0.002070717,0.001119816,0.01120476],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02506808,"threshold_uncertainty_score":0.08386105,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04903955662515733,"score_gpt":0.3036417651251234,"score_spread":0.254602208499966,"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."}}