{"id":"W4416564574","doi":"10.1007/978-3-032-08187-2_3","title":"A Symbolic Computing Perspective on Software Systems","year":2025,"lang":"en","type":"book-chapter","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":"University of Waterloo","funders":"","keywords":"Compiler; Software system; Abstraction; Software development; Software; Interpreter; Symbolic trajectory evaluation; Symbolic execution; Programming complexity","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00110286,0.0007580745,0.0009053686,0.001253124,0.0005037978,0.001300408,0.004129772,0.0004751533,0.000005087406],"category_scores_gemma":[0.0002421963,0.0006549521,0.0002308331,0.0009818525,0.0005245726,0.0003417522,0.001546444,0.001140174,0.0001093],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00108429,"about_ca_system_score_gemma":0.0009118704,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002382987,"about_ca_topic_score_gemma":0.00004646855,"domain_scores_codex":[0.9947309,0.00009175135,0.0006670188,0.002296447,0.001256881,0.0009569968],"domain_scores_gemma":[0.9961958,0.0007336036,0.0004338857,0.001837598,0.0005899295,0.0002091905],"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.000003979861,0.00003547121,0.00005001767,0.0001010443,0.00002774588,0.0001228225,0.001427736,0.01759681,0.000003125338,0.7862288,0.00007612503,0.1943263],"study_design_scores_gemma":[0.0006263782,0.0006261687,0.00008421289,0.001036051,0.00002616411,0.0002033638,0.000004632723,0.6102428,0.0001447293,0.3759236,0.00933978,0.001742116],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.000008151197,0.001552492,0.9651408,0.0003014468,0.005711079,0.0008248053,0.000002894624,0.0005379395,0.02592043],"genre_scores_gemma":[0.8474271,0.00004704076,0.142488,0.002361197,0.002218809,0.00003551961,0.000009288593,0.00008828941,0.005324821],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8474189,"threshold_uncertainty_score":0.9997363,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01728586490582195,"score_gpt":0.2573015010673413,"score_spread":0.2400156361615193,"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."}}