{"id":"W1966288006","doi":"10.1007/978-3-540-87531-4_7","title":"Extensional Uniformity for Boolean Circuits","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Montréal; Computer Research Institute of Montréal; Université du Québec à Montréal","funders":"","keywords":"Circuit complexity; Duality (order theory); Extensional definition; Order (exchange); Connection (principal bundle); Class (philosophy); Bounded function; Property (philosophy); Coupling (piping); Boolean circuit; Discrete mathematics; Combinatorics; Computer science; Electronic circuit; Complexity class; Boolean function; Topology (electrical circuits); Mathematics; Physics; Geometry; Time complexity; Mathematical analysis; Materials science; Quantum mechanics; Artificial intelligence; Composite material","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.001415235,0.0005123951,0.0005167907,0.0007415849,0.0004634988,0.0002665428,0.003832005,0.0003947527,0.000009971948],"category_scores_gemma":[0.0003342317,0.000486691,0.0001960821,0.0005254787,0.0008323462,0.0009207716,0.0009412052,0.0006940276,0.00004374882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003848369,"about_ca_system_score_gemma":0.0008125264,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000651811,"about_ca_topic_score_gemma":0.00001112965,"domain_scores_codex":[0.9959128,0.00003783528,0.0006122073,0.001626848,0.00107859,0.0007316768],"domain_scores_gemma":[0.9966002,0.0005537884,0.0003767929,0.001747975,0.0005188187,0.0002024454],"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.000005322748,0.00002655811,0.00001443602,0.00003847478,0.000007275928,0.00002794842,0.0003786648,0.006364252,0.0001026434,0.09338101,0.0001262904,0.8995271],"study_design_scores_gemma":[0.0003887805,0.0002808145,0.0005229156,0.0002633979,0.000007880635,0.0003396327,8.464189e-8,0.7738866,0.002990351,0.2068334,0.01352661,0.0009595342],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00004249156,0.0003167883,0.9926068,0.0003255546,0.002672327,0.0006720504,0.00001144438,0.0002085529,0.003143975],"genre_scores_gemma":[0.01380892,0.00007371831,0.9835917,0.001455338,0.0005258265,0.00002359273,0.000009826035,0.0000379366,0.0004731152],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8985676,"threshold_uncertainty_score":0.9997585,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04206150276281763,"score_gpt":0.2832405391224276,"score_spread":0.24117903635961,"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."}}