{"id":"W3020957989","doi":"10.1145/3357713.3384316","title":"Catalytic approaches to the tree evaluation problem","year":2020,"lang":"en","type":"article","venue":"","topic":"Advanced Graph Theory Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","keywords":"Branching (polymer chemistry); Mathematics; Combinatorics; Binary decision diagram; Tree (set theory); Binary number; Algorithm; Binary tree; Parameterized complexity; Discrete mathematics; Chemistry; Arithmetic","routes":{"ca_aff":true,"ca_fund":true,"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.00329654,0.001010321,0.001274764,0.001261329,0.001858713,0.00414288,0.003877464,0.00285737,0.0131639],"category_scores_gemma":[0.01644861,0.001012088,0.00228005,0.001855309,0.004224174,0.006929425,0.004824998,0.007121651,0.002522498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00269816,"about_ca_system_score_gemma":0.002140767,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001505467,"about_ca_topic_score_gemma":0.001566517,"domain_scores_codex":[0.9963515,0.001280876,0.0001921609,0.0007320968,0.00102265,0.0004207187],"domain_scores_gemma":[0.9921778,0.005282228,0.0003036078,0.001352005,0.000604132,0.0002802669],"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.00005613039,0.00004788407,0.0001360246,0.0001244189,0.00001352422,0.00003408024,0.0001277871,0.01400943,0.0007613277,0.9658378,0.002167501,0.01668414],"study_design_scores_gemma":[0.00003692475,0.00002005399,0.0000323183,0.00002832801,0.00001236434,0.00003162301,0.00002732646,0.06138071,0.001028572,0.9298769,0.007512711,0.00001228872],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0175985,0.001297722,0.9444622,0.00221711,0.0002472003,0.0001526473,0.0001967542,0.0006714694,0.03315632],"genre_scores_gemma":[0.3338861,0.002350684,0.6271619,0.002111746,0.0005385802,0.0009549532,0.0009215392,0.001229963,0.03084457],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0131639,"threshold_uncertainty_score":0.04403764,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2732848634327266,"score_gpt":0.3232073681116459,"score_spread":0.04992250467891929,"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."}}