Symbolic Computation

Authors and titles for January 2025

[1] arXiv:2501.03381 [pdf, html, other]

Title: THOI: An efficient and accessible library for computing higher-order interactions enhanced by batch-processing

Laouen Belloli, Pedro Mediano, Rodrigo Cofré, Diego Fernandez Slezak, Rubén Herzog

Comments: 22 pages, 6 figures

Subjects: Symbolic Computation (cs.SC)

[2] arXiv:2501.03837 [pdf, html, other]

Title: A Unification of Zeilberger's Algorithm and Its q-Analogue

Shaoshi Chen, Hao Du, Yiman Gao, Hui Huang, Ziming Li

Subjects: Symbolic Computation (cs.SC)

[3] arXiv:2501.05318 [pdf, html, other]

Title: Recursive matrix algorithms, distributed dynamic control, scaling, stability

Gennadi Malaschonok

Comments: 6 paged

Journal-ref: 2019 Computer Science and Information Technologies (CSIT), Yerevan, Armenia, 2019, pp. 112-115

Subjects: Symbolic Computation (cs.SC)

[4] arXiv:2501.13680 [pdf, html, other]

Title: Projecting dynamical systems via a support bound

Yulia Mukhina, Gleb Pogudin

Subjects: Symbolic Computation (cs.SC); Algebraic Geometry (math.AG); Classical Analysis and ODEs (math.CA)

[5] arXiv:2501.00364 (cross-list from cs.AI) [pdf, other]

Title: FORM: Learning Expressive and Transferable First-Order Logic Reward Machines

Leo Ardon, Daniel Furelos-Blanco, Roko Parac, Alessandra Russo

Comments: AAMAS'25

Subjects: Artificial Intelligence (cs.AI); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[6] arXiv:2501.00563 (cross-list from math.AG) [pdf, html, other]

Title: Motives meet SymPy: studying $λ$-ring expressions in Python

Daniel Sanchez, David Alfaya, Jaime Pizarroso

Comments: 19 pages, 2 figures. The code of the library described in the paper is publicly hosted at this https URL

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC); K-Theory and Homology (math.KT)

[7] arXiv:2501.04194 (cross-list from cs.RO) [pdf, html, other]

Title: STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification

Parv Kapoor, Kazuki Mizuta, Eunsuk Kang, Karen Leung

Comments: To be submitted to robotics journal for review

Subjects: Robotics (cs.RO); Machine Learning (cs.LG); Symbolic Computation (cs.SC)

[8] arXiv:2501.06699 (cross-list from cs.AI) [pdf, html, other]

Title: Large Language Models, Knowledge Graphs and Search Engines: A Crossroads for Answering Users' Questions

Aidan Hogan, Xin Luna Dong, Denny Vrandečić, Gerhard Weikum

Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Symbolic Computation (cs.SC)

[9] arXiv:2501.06707 (cross-list from cs.AI) [pdf, html, other]

Title: ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system

Rupert Lane, Anthony Hay, Arthur Schwarz, David M. Berry, Jeff Shrager

Comments: In review

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Symbolic Computation (cs.SC)

[10] arXiv:2501.07123 (cross-list from hep-ph) [pdf, html, other]

Title: Inferring Interpretable Models of Fragmentation Functions using Symbolic Regression

Nour Makke, Sanjay Chawla

Subjects: High Energy Physics - Phenomenology (hep-ph); Machine Learning (cs.LG); Symbolic Computation (cs.SC); High Energy Physics - Theory (hep-th)

[11] arXiv:2501.08086 (cross-list from cs.AI) [pdf, html, other]

Title: NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery

Sergei Garmaev, Siddhartha Mishra, Olga Fink

Subjects: Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

[12] arXiv:2501.08561 (cross-list from cs.AI) [pdf, html, other]

Title: ANSR-DT: An Adaptive Neuro-Symbolic Learning and Reasoning Framework for Digital Twins

Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song

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

[13] arXiv:2501.09201 (cross-list from cs.PL) [pdf, html, other]

Title: Towards Semantics Lifting for Scientific Computing: A Case Study on FFT

Naifeng Zhang, Sanil Rao, Mike Franusich, Franz Franchetti

Comments: Accepted at the Theory and Practice of Static Analysis Workshop (TPSA), in conjunction with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2025

Subjects: Programming Languages (cs.PL); Symbolic Computation (cs.SC)

[14] arXiv:2501.09729 (cross-list from cs.LG) [pdf, html, other]

Title: Generating particle physics Lagrangians with transformers

Yong Sheng Koay, Rikard Enberg, Stefano Moretti, Eliel Camargo-Molina

Comments: 32 pages, 11 figues, 18 tables

Subjects: Machine Learning (cs.LG); Symbolic Computation (cs.SC); High Energy Physics - Phenomenology (hep-ph); High Energy Physics - Theory (hep-th)

[15] arXiv:2501.14951 (cross-list from cs.LG) [pdf, html, other]

Title: E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions

Hongbo Zheng, Suyuan Wang, Neeraj Gangwar, Nickvash Kani

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL); Symbolic Computation (cs.SC)

[16] arXiv:2501.17759 (cross-list from cs.SD) [pdf, html, other]

Title: Yin-Yang: Developing Motifs With Long-Term Structure And Controllability

Keshav Bhandari, Geraint A. Wiggins, Simon Colton

Comments: 16 Pages, 4 Figures, Accepted at Artificial Intelligence in Music, Sound, Art and Design: 14th International Conference, EvoMUSART 2025

Subjects: Sound (cs.SD); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)