{"id":"W2941917664","doi":"10.1007/978-3-030-23250-4_8","title":"Towards Specifying Symbolic Computation","year":2019,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Symbolic computation; Syntax; Theoretical computer science; Semantics (computer science); Computation; Programming language; Formal grammar; Mathematical logic; Artificial intelligence; Mathematics; Rule-based machine translation","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.004260439,0.001188398,0.001365477,0.00205454,0.001948318,0.008543987,0.002595571,0.002070564,0.008839338],"category_scores_gemma":[0.01355143,0.001505812,0.002329066,0.003104165,0.005849387,0.01094176,0.006192647,0.006499621,0.003298891],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002403338,"about_ca_system_score_gemma":0.002501305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002883818,"about_ca_topic_score_gemma":0.003878326,"domain_scores_codex":[0.9949092,0.002235258,0.000509439,0.0006684585,0.001324496,0.0003531257],"domain_scores_gemma":[0.9921862,0.003750697,0.0002369872,0.002551436,0.001048031,0.0002265551],"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.00002756431,0.00001475224,0.0002183756,0.0001009973,0.0000108875,0.00006004808,0.0005729571,0.002550328,0.001381381,0.9716372,0.001614986,0.02181059],"study_design_scores_gemma":[0.000013956,0.00001064369,0.0000641728,0.00007088475,0.00002139039,0.00005462936,0.0001787695,0.02156199,0.003191236,0.9432189,0.03159349,0.00001988451],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004170175,0.000303111,0.9832497,0.0007132513,0.0001109039,0.00004599353,0.0002327695,0.001739129,0.009434879],"genre_scores_gemma":[0.1993959,0.001381272,0.7836897,0.0007729031,0.0002593396,0.0003201649,0.00159728,0.001823587,0.01075986],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008839338,"threshold_uncertainty_score":0.02957052,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03414439683949414,"score_gpt":0.2865510721804378,"score_spread":0.2524066753409437,"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."}}