{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000755689,0.00005342033,0.00005004931,0.00005413991,0.00006136762,0.00008065625,0.0004064376,0.00003119154,0.00007300574],"category_scores_gemma":[0.00000983251,0.00004211577,0.00002282142,0.0002741066,0.00001080468,0.000324862,0.00007703347,0.00004203073,0.0002397668],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001766904,"about_ca_system_score_gemma":0.00001662319,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001597299,"about_ca_topic_score_gemma":0.00000926448,"domain_scores_codex":[0.9993626,0.00001156483,0.0001228011,0.0001793123,0.0001235735,0.0002001817],"domain_scores_gemma":[0.9994671,0.00006556397,0.00003169193,0.0003474054,0.00003451059,0.00005378043],"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.000001325754,0.00004268193,0.0004527308,0.000003356602,0.000003171285,0.000004883569,0.0001915361,0.000005337019,0.007806565,0.9208615,0.004995546,0.06563132],"study_design_scores_gemma":[0.000892965,0.0001226955,0.0365427,0.0000447508,0.000008109579,0.00009340083,0.0002846883,0.07920033,0.2292576,0.3342184,0.3184953,0.0008389887],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01124891,0.00003757291,0.9062102,0.0004370355,0.00007701325,0.00007854657,1.405479e-7,0.000309282,0.08160129],"genre_scores_gemma":[0.7572937,0.000002926308,0.2374087,0.0008246966,0.00003964016,0.000005244775,0.000001256854,0.000004556371,0.004419266],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7460448,"threshold_uncertainty_score":0.3081798,"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."}}