Symbolic Computation

Authors and titles for November 2024

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

Title: Extensions of the Cylindrical Algebraic Covering Method for Quantifiers

Jasper Nalbach, Gereon Kremer

Subjects: Symbolic Computation (cs.SC)

[2] arXiv:2411.06873 [pdf, other]

Title: Case Frames and Case-Based Arguments in Statutory Interpretation

Michal Araszkiewicz

Comments: 10 pages, long JURIX 2024 paper

Subjects: Symbolic Computation (cs.SC)

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

Title: Symbolic Algorithm for Solving SLAEs with Multi-Diagonal Coefficient Matrices

Milena Veneva

Comments: 8 pages, 1 table. arXiv admin note: text overlap with arXiv:1812.06720

Subjects: Symbolic Computation (cs.SC)

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

Title: On Minimal and Minimum Cylindrical Algebraic Decompositions

Lucas Michel, Pierre Mathonet, Naïm Zénaïdi

Comments: International Symposium on Symbolic and Algebraic Computation (ISSAC '24), July 16-19, 2024, Raleigh, NC, USA

Journal-ref: In Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation (ISSAC '24). Association for Computing Machinery, New York, NY, USA, 316-323

Subjects: Symbolic Computation (cs.SC)

[5] arXiv:2411.14559 [pdf, html, other]

Title: Union of Finitely Generated Congruences on Ground Term Algebra

Sándor Vágvölgyi

Comments: 57 pages

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

[6] arXiv:2411.15525 [pdf, html, other]

Title: Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models

Tianhao Chen, Pengbo Xu, Pengbo Xu

Subjects: Symbolic Computation (cs.SC)

[7] arXiv:2411.16348 [pdf, html, other]

Title: Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs

Daniela Kaufmann, Jérémy Berthomieu

Comments: Accepted at 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2025

Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)

[8] arXiv:2411.00031 (cross-list from cs.LO) [pdf, other]

Title: A Theoretical Review on Solving Algebra Problems

Xinguo Yu, Weina Cheng, Chuanzhi Yang, Ting Zhang

Comments: 22pages,5figures

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

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

Title: Integrating Fuzzy Logic into Deep Symbolic Regression

Wout Gerdes, Erman Acar

Comments: 10 pages, 1 figure, published for XAI FIN 24 this https URL

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[10] arXiv:2411.05820 (cross-list from cs.NE) [pdf, html, other]

Title: Guiding Genetic Programming with Graph Neural Networks

Piotr Wyrwiński, Krzysztof Krawiec

Comments: Full version of the same-titled paper accepted at GECCO 2024

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Symbolic Computation (cs.SC); Machine Learning (stat.ML)

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

Title: Learning Interpretable Network Dynamics via Universal Neural Symbolic Regression

Jiao Hu, Jiaxu Cui, Bo Yang

Comments: preprint

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Multiagent Systems (cs.MA); Symbolic Computation (cs.SC)

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

Title: On Projective Delineability

Lucas Michel, Jasper Nalbach, Pierre Mathonet, Naïm Zénaïdi, Christopher W. Brown, Erika Ábrahám, James H. Davenport, Matthew England

Comments: Accepted for publication in the Proceedings of the 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2024)

Journal-ref: Proceedings of the 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC '24), pp. 9--16. IEEE, 2024

Subjects: Algebraic Geometry (math.AG); Symbolic Computation (cs.SC)

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

Title: CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection

Cristian Curaba, Denis D'Ambrosi, Alessandro Minisini, Natalia Pérez-Campanero Antolín

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

[14] arXiv:2411.15243 (cross-list from q-bio.NC) [pdf, html, other]

Title: Bio-inspired AI: Integrating Biological Complexity into Artificial Intelligence

Nima Dehghani, Michael Levin

Subjects: Neurons and Cognition (q-bio.NC); Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE); Symbolic Computation (cs.SC)

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

Title: Relations, Negations, and Numbers: Looking for Logic in Generative Text-to-Image Models

Colin Conwell, Rupert Tawiah-Quashie, Tomer Ullman

Subjects: Computer Vision and Pattern Recognition (cs.CV); Computation and Language (cs.CL); Symbolic Computation (cs.SC)