Symbolic Computation

Authors and titles for recent submissions

[ total of 8 entries: 1-5 | 6-8 ]
[ showing 5 entries per page: fewer | more | all ]

[1] arXiv:2404.14973 (cross-list from cs.LG) [pdf, ps, other]: Title: Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs

Authors: Rashid Barket, Matthew England, Jürgen Gerhard

Subjects: Machine Learning (cs.LG); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)

[2] arXiv:2404.13419 [pdf, other]: Title: On Modeling Multi-Criteria Decision Making with Uncertain Information using Probabilistic Rules

Authors: Shengxin Hong, Xiuyi Fan

Subjects: Symbolic Computation (cs.SC)
[3] arXiv:2404.13672 (cross-list from cs.LO) [pdf, ps, other]: Title: Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis

Authors: Temur Kutsia (RISC, Johannes Kepler University Linz), Daniel Ventura (INF, Universidade Federal de Goiás), David Monniaux (CNRS - Verimag), José F. Morales (IMDEA)

Journal-ref: EPTCS 402, 2024

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC); Software Engineering (cs.SE)

[4] arXiv:2404.13042 [pdf, ps, other]: Title: Reduction systems and degree bounds for integration

Authors: Hao Du, Clemens G. Raab

Comments: 40 pages

Subjects: Symbolic Computation (cs.SC)

[5] arXiv:2404.10906 (cross-list from cs.AI) [pdf, other]: Title: Towards a Research Community in Interpretable Reinforcement Learning: the InterpPol Workshop

Authors: Hector Kohler, Quentin Delfosse, Paul Festor, Philippe Preux

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

[ total of 8 entries: 1-5 | 6-8 ]
[ showing 5 entries per page: fewer | more | all ]