{"id":"W2947776963","doi":"10.48550/arxiv.1902.02011","title":"Semantics-Preserving DPO-Based Term Graph Rewriting","year":2019,"lang":"en","type":"article","venue":"arXiv (Cornell University)","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Graph rewriting; Rewriting; Computer science; Term (time); Programming language; Confluence; Graph; Semantics (computer science); Compiler; Theoretical computer science","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.001546685,0.0006408634,0.0007305333,0.001029559,0.0006774325,0.001896981,0.001773625,0.0007946274,0.002300648],"category_scores_gemma":[0.0058982,0.0005760748,0.001570818,0.001000074,0.002459607,0.00304109,0.003545681,0.003222579,0.001218914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009688395,"about_ca_system_score_gemma":0.001073396,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001555044,"about_ca_topic_score_gemma":0.001432885,"domain_scores_codex":[0.9968038,0.0005721523,0.0002498142,0.000756034,0.001322852,0.0002955206],"domain_scores_gemma":[0.9963185,0.001158923,0.0001903798,0.001391364,0.0008220041,0.0001188588],"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":[0.000100968,0.0001048025,0.0004830284,0.0003723083,0.000080169,0.0004672087,0.0006980854,0.0284527,0.0478052,0.8174054,0.003752969,0.1002771],"study_design_scores_gemma":[0.0000476704,0.00007303124,0.000215684,0.00004077924,0.0001119525,0.0004539504,0.0001037888,0.1084663,0.0553189,0.8081234,0.02699119,0.00005347994],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007083324,0.0001340095,0.9855145,0.0001593051,0.0001075863,0.00005500598,0.0001444748,0.001628365,0.005173448],"genre_scores_gemma":[0.3661374,0.0005253256,0.6175972,0.0004834291,0.0001871078,0.000226923,0.001025328,0.002222101,0.01159505],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002300648,"threshold_uncertainty_score":0.008179724,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03475812173870809,"score_gpt":0.1645544215699602,"score_spread":0.1297962998312521,"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."}}