{"id":"W2017099638","doi":"10.1145/1273920.1273939","title":"A larger decidable semiunification problem","year":2007,"lang":"en","type":"article","venue":"","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Decidability; Undecidable problem; Computer science; Discrete mathematics; Graph; Inference; Theoretical computer science; Combinatorics; Type inference; Constraint (computer-aided design); 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.003396499,0.0005393573,0.0008723231,0.0008095915,0.001702744,0.003127682,0.002354568,0.002043363,0.007328309],"category_scores_gemma":[0.008953554,0.0004788337,0.001789047,0.001235812,0.004115046,0.009748433,0.002880959,0.005224575,0.0004222331],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002037051,"about_ca_system_score_gemma":0.001529249,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002149287,"about_ca_topic_score_gemma":0.001602571,"domain_scores_codex":[0.9964551,0.0009685699,0.0002562709,0.001351534,0.0006331325,0.0003354953],"domain_scores_gemma":[0.9872922,0.009820497,0.0006762969,0.001220757,0.0004707536,0.0005195338],"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.00006112974,0.0001256282,0.0004775859,0.0001570047,0.00003272298,0.0002918771,0.0004677662,0.01613756,0.001838546,0.9583229,0.002088752,0.01999845],"study_design_scores_gemma":[0.00002725801,0.00002326329,0.0001856935,0.00002768479,0.00002344693,0.0002371487,0.0002235608,0.03969863,0.001938083,0.9489391,0.0086594,0.00001668205],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1552955,0.0009011471,0.7993897,0.008309265,0.0002456872,0.0002628938,0.0008234857,0.000686574,0.03408588],"genre_scores_gemma":[0.7112004,0.0006548511,0.2718008,0.001085797,0.0004568392,0.0002675996,0.001796898,0.0002282233,0.0125087],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007328309,"threshold_uncertainty_score":0.02451563,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007097889225995919,"score_gpt":0.2280584071881935,"score_spread":0.2209605179621976,"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."}}