{"id":"W2109850278","doi":"10.1145/505306.505341","title":"Term ordering problem on MDG","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Rewriting; Computer science; Term (time); Representation (politics); Binary decision diagram; State (computer science); Theoretical computer science; Algorithm; Function (biology); Range (aeronautics); Symbol (formal); Programming language; Engineering","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.0001469128,0.00005310236,0.00004437042,0.0000438579,0.00005084812,0.00006742608,0.0004254009,0.00002295278,0.0001187695],"category_scores_gemma":[0.00002129369,0.00004410359,0.00001599557,0.0001769871,0.0000123166,0.0002959292,0.0000710372,0.00005865538,0.0005196986],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001943712,"about_ca_system_score_gemma":0.000002495162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002623159,"about_ca_topic_score_gemma":4.891597e-7,"domain_scores_codex":[0.9994627,0.00002495656,0.00009398995,0.0001704163,0.0001212107,0.0001267457],"domain_scores_gemma":[0.9995227,0.00001914286,0.00002675844,0.0003824596,0.00001729249,0.00003159489],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[5.756889e-7,0.00004236057,0.0001193552,0.000007068365,0.000002099342,0.000001593929,0.0003507399,0.00007433022,0.001000963,0.5744395,0.001183346,0.422778],"study_design_scores_gemma":[0.0003513599,0.0003099651,0.005749536,0.00003960052,0.000002184801,0.00002814506,0.00001497609,0.889937,0.04704591,0.009086855,0.04700901,0.0004254965],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002809635,0.00001053194,0.7823786,0.0004020699,0.0001565227,0.00007616274,5.904727e-8,0.000237119,0.2139293],"genre_scores_gemma":[0.1254523,0.000005603228,0.8717422,0.0002954668,0.00002370023,0.0000100571,8.448239e-8,0.000003499834,0.002467007],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8898627,"threshold_uncertainty_score":0.6679847,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05497055059660941,"score_gpt":0.2785541901926119,"score_spread":0.2235836395960024,"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."}}