{"id":"W2116298394","doi":"10.1016/s0304-3975(99)00267-4","title":"Query learning of bounded-width OBDDs","year":2000,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Machine Learning and Algorithms","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"University of Calgary","keywords":"Learnability; Binary decision diagram; Equivalence (formal languages); Bounded function; Mathematics; Discrete mathematics; Combinatorics; Time complexity; Theoretical computer science; Algorithm; Computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002798061,0.0007190888,0.002177496,0.00124564,0.0007787113,0.003520889,0.003076777,0.001344093,0.005339013],"category_scores_gemma":[0.0272557,0.0007038477,0.001416128,0.002275195,0.001231114,0.009390851,0.003143505,0.002233391,0.0006521648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001737995,"about_ca_system_score_gemma":0.001437569,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002747606,"about_ca_topic_score_gemma":0.004027859,"domain_scores_codex":[0.9964581,0.001200664,0.0003430727,0.0006763905,0.0009484961,0.0003732915],"domain_scores_gemma":[0.9796515,0.01502093,0.0006017138,0.002585355,0.001791336,0.0003491706],"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.001823831,0.0005174645,0.009728929,0.001292084,0.0002525174,0.0003511131,0.0009254382,0.2862589,0.006523662,0.1464833,0.02053865,0.525304],"study_design_scores_gemma":[0.00008927233,0.00008264683,0.0004498913,0.00005798766,0.0000630136,0.00014225,0.0001994213,0.765049,0.002978412,0.2280873,0.002784973,0.00001579483],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.169373,0.002736343,0.8173957,0.002295258,0.0001262154,0.0001422596,0.001291154,0.002501454,0.00413852],"genre_scores_gemma":[0.7917199,0.0009119172,0.1989492,0.0005793254,0.0001663207,0.0001450654,0.002811779,0.0004649824,0.004251534],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005339013,"threshold_uncertainty_score":0.01786083,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004391546815277213,"score_gpt":0.2358640844148497,"score_spread":0.2314725375995725,"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."}}