Symbolic Computation

Authors and titles for recent submissions

• Wed, 22 Jan 2025
• Mon, 20 Jan 2025
• Fri, 17 Jan 2025
• Thu, 16 Jan 2025
• Wed, 15 Jan 2025

See today's new changes

Wed, 22 Jan 2025

No updates for this time period.

Mon, 20 Jan 2025

No updates for this time period.

Fri, 17 Jan 2025 (showing 2 of 2 entries )

[1] 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)

[2] 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)

Thu, 16 Jan 2025 (showing 1 of 1 entries )

[3] 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)

Wed, 15 Jan 2025 (showing 1 of 1 entries )

[4] 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)