{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003973727,0.0001857857,0.0002465656,0.0001751586,0.00005707971,0.00004517532,0.0004351333,0.0002163068,0.00005142834],"category_scores_gemma":[0.00001816294,0.0001762727,0.00007983121,0.00004216086,0.00007484467,0.0003931412,0.00005966473,0.0001505612,0.00003106016],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003878876,"about_ca_system_score_gemma":0.00008453957,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005074246,"about_ca_topic_score_gemma":0.000004867692,"domain_scores_codex":[0.9988533,0.00001757793,0.0003431772,0.0004636858,0.0001837473,0.0001385633],"domain_scores_gemma":[0.9985489,0.00006896307,0.000271675,0.0008506167,0.0001945983,0.0000652439],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000003419766,0.00001524488,0.000001759813,0.00002419723,0.00001329043,7.614283e-8,0.00002753288,0.000005605507,0.0003975674,0.6711379,0.0002443972,0.3281291],"study_design_scores_gemma":[0.0003274825,0.0006713131,0.0005610979,0.00004112794,0.00004260677,0.00001144319,0.00001648493,0.874776,0.001273946,0.01591985,0.1059979,0.0003607563],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001083838,0.00004969279,0.8775378,0.00008503419,0.0004807022,0.0004504283,0.00004755254,0.00008591321,0.121252],"genre_scores_gemma":[0.0001233093,0.0000322576,0.7973604,0.00003191956,0.0001774998,0.00001101028,0.00007705361,0.00002085061,0.2021657],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8747704,"threshold_uncertainty_score":0.7188192,"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."}}