{"id":"W2100910553","doi":"10.1109/icdar.1995.599026","title":"Mathematics recognition using graph rewriting","year":2002,"lang":"en","type":"article","venue":"","topic":"Graph Theory and Algorithms","field":"Computer Science","cited_by":70,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Rewriting; Computer science; Graph; Graph rewriting; Graph theory; Theoretical computer science; Programming language; Mathematics; Combinatorics","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.0001903917,0.00006289827,0.00006542968,0.00008032697,0.0001221969,0.00009029947,0.0002293271,0.00002618308,0.0001521351],"category_scores_gemma":[0.00002046113,0.00005641355,0.00004556689,0.0003264527,0.00001935803,0.0003708254,0.00005277049,0.00005701757,0.0001320563],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005483979,"about_ca_system_score_gemma":0.000001713364,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002407478,"about_ca_topic_score_gemma":3.436418e-7,"domain_scores_codex":[0.9994501,0.00002526884,0.0001292602,0.0001440133,0.0001027744,0.0001486172],"domain_scores_gemma":[0.9996319,0.00005064332,0.00004144465,0.000202376,0.00003395072,0.00003963735],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[6.894826e-7,0.0003157504,0.00008164167,0.00005836348,0.00002894701,0.00004867623,0.002934355,0.00007311691,0.003718435,0.4441305,0.0006310091,0.5479785],"study_design_scores_gemma":[0.000116811,0.00001909858,0.00001089228,0.00003811806,0.000004103225,0.00007915133,0.0001338175,0.6509986,0.002762426,0.3456115,0.0000750089,0.0001504899],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04381558,0.00003697784,0.9340862,0.00009755557,0.0001532236,0.00004847848,3.956873e-7,0.0002022696,0.02155932],"genre_scores_gemma":[0.2701893,0.00000893641,0.7293,0.0002241129,0.00004317567,0.000001951591,4.054408e-7,0.000005309087,0.0002268317],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6509255,"threshold_uncertainty_score":0.2300478,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07381043941321488,"score_gpt":0.2375514692543326,"score_spread":0.1637410298411177,"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."}}