- Computing Bunches of Semi-Periodic Solutions of Bivariate Exponential-Trigonometric Polynomial Equations with Separated Variables
2026/07/19 by Tao Zheng, Hao yuan · 1 voice
#cs.SC
- Quotient Tree Arithmetic: Deferred-Division Computation with Bounded Symbolic Depth and Cross-Subtree Cancellation
2026/06/15 by Gregory Magarshak · 1 voice
#cs.SC #cs.AI #cs.LG #cs.MS
- All elementary functions from a single binary operator
2026/03/23 by Andrzej Odrzywołek · 58 voices · 1 citation
#cs.SC #cs.LG
- Ontology-Guided Neuro-Symbolic Inference: Grounding Language Models with Mathematical Domain Knowledge
2026/02/19 by Marcelo Labre · 2 voices
Computer Science · #cs.AI #cs.LG #cs.SC
- 130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
2026/01/06 by Josef Urban · 6 voices · 2 citations
#cs.LO #cs.AI #cs.SC
- EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
2025/11/08 by Nan Jiang, Jiang, Nan, Ziyi Wang +3 · 2 voices · 1 citation
Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Games #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #Symbolic Computation (cs.SC) #Topic Modeling #cs.AI #cs.LG #cs.SC
- A non-commutative algorithm for multiplying 4x4 matrices using 48 non-complex multiplications
2025/06/16 by Jean-Guillaume Dumas, Jean‐Guillaume Dumas, Clément Pernet +4 · 4 citations
Computer Science · Engineering · Mathematics · #Coding theory and cryptography #Tensor decomposition and applications #cs.SC #graph theory and CDMA systems
- XXt Can Be Faster
2025/05/14 by Dmitry Rybin, Yushun Zhang, Rybin, Dmitry +3 · 14 voices
#cs.DS #cs.AI #cs.LG #cs.SC
- Flip Graphs with Symmetry and New Matrix Multiplication Schemes
2025/02/06 by Jakob Moosbauer, Michael D. Poole, Moosbauer, Jakob +2 · 1 voice · 4 citations
Computer Science · Mathematics · #Graph theory and applications #Interconnection Networks and Systems #Matrix Theory and Algorithms #cs.SC
- ANSR-DT: A Neuro-Symbolic Framework for Adaptive and Explainable Digital Twins
2025/01/15 by Safayat Bin Hakim, Muhammad Adil, Hakim, Safayat Bin +5 · 2 citations
#cs.AI #cs.HC #cs.LG #cs.SC
- ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system
2025/01/12 by Rupert Lane, Lane, Rupert, Anthony Hay +7 · 2 voices
#cs.AI #cs.CY #cs.SC
- Large Language Models, Knowledge Graphs and Search Engines: A Crossroads for Answering Users' Questions
2025/01/12 by Aidan Hogan, Xin Luna Dong, Hogan, Aidan +5 · 4 voices · 2 citations
#cs.AI #cs.IR #cs.SC
- Towards Learning to Reason: Comparing LLMs with Neuro-Symbolic on Arithmetic Relations in Abstract Reasoning
2024/12/07 by Michael Hersche, Hersche, Michael, Giacomo Camposampiero +7 · 1 voice · 2 citations
Computer Science · #AI-based Problem Solving and Planning #Intelligent Tutoring Systems and Adaptive Learning #cs.AI #cs.LG #cs.SC
- Bio-inspired AI: Integrating Biological Complexity into Artificial Intelligence
2024/11/22 by Nima Dehghani, Michael Levin, Dehghani, Nima +1 · 1 voice · 1 citation
#q-bio.NC #cs.AI #cs.CL #cs.CV #cs.NE #cs.SC
- LLM4ED: Large Language Models for Automatic Equation Discovery
2024/05/13 by Mengge Du, Yuntian Chen, Du, Mengge +7 · 1 voice · 1 citation
Computer Science · #Computational Physics and Python Applications #cs.AI #cs.LG #cs.SC #math-ph #stat.AP
- Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations
2024/03/24 by Jonathan Gorard, Gorard, Jonathan · 1 voice
Computer Science · #Cognitive Computing and Networks #cs.SC #math.CT
- From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought
2023/06/22 by Lionel Wong, Gabriel Grand, Wong, Lionel +11 · 2 voices · 15 citations
#cs.CL #cs.AI #cs.SC
- The FBHHRBNRSSSHK-Algorithm for Multiplication in ℤ25×5 is still not the end of the story
2022/10/08 by Manuel Kauers, Jakob Moosbauer, Kauers, Manuel +1 · 2 voices
Computer Science · Engineering · Mathematics · #Coding theory and cryptography #Tensor decomposition and applications #cs.CC #cs.SC #graph theory and CDMA systems
- The Programming of Algebra
2022/06/30 by Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen · 2 voices
Computer Science · #Advanced Database Systems and Queries #Data Management and Algorithms #Semantic Web and Ontologies #cs.DB #cs.PL #cs.SC
- Symbolic-Numeric Integration of Univariate Expressions based on Sparse Regression
2022/01/29 by Shahriar Iravanian, Carl Julius Martensen, Iravanian, Shahriar +11 · 1 voice
#cs.SC
- Automated Code Optimization with E-Graphs
2021/12/26 by Alessandro Cheli, Cheli, Alessandro · 2 voices
#cs.PL #cs.SC
- From Kepler to Newton: Explainable AI for Science
2021/11/24 by Zelong Li, Li, Zelong, Jianchao Ji +3 · 1 voice
Computer Science · #Anomaly Detection Techniques and Applications #Artificial Intelligence (cs.AI) #Computational Physics and Python Applications #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Symbolic Computation (cs.SC) #cs.AI #cs.LG #cs.SC
- Computer Algebra in JULIA
2021/03/01 by Dmitry S. Kulyabov, D. S. Kulyabov, A. V. Korol’kova +1 · 1 voice
Computer Science · Mathematics · #Mathematical and Computational Methods #Mathematical and Theoretical Analysis #Polynomial and algebraic computation #cs.SC
- Theorem Proving and Algebra
2021/01/07 by Joseph A. Goguen, Goguen, Joseph A. · 1 voice
Computer Science · #03B70 (Primary) #68Q65 #F.1.1 #F.3.1 #F.3.2 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #I.1.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Symbolic Computation (cs.SC) #cs.LO #cs.PL #cs.SC
- miniKanren as a Tool for Symbolic Computation in Python
2020/05/24 by Brandon T. Willard, Willard, Brandon T. · 1 voice
#cs.PL #cs.SC
- Epistemic phase transitions in mathematical proofs
2020/03/31 by Scott Viteri, Simon DeDeo · 2 voices
Arts and Humanities · Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · Physics and Astronomy · Psychology · #Logic, Reasoning, and Knowledge #Philosophy and History of Science #Philosophy and Theoretical Science #cs.AI #cs.SC #math.HO #physics.soc-ph #q-bio.NC
- Deep Learning for Symbolic Mathematics
2019/12/02 by Guillaume Lample, François Charton, Lample, Guillaume +1 · 6 voices · 20 citations
Computer Science · #cs.SC #cs.LG
- SATURN -- Software Deobfuscation Framework Based on LLVM
2019/09/04 by Peter Garba, Matteo Favaro · 1 voice · 2 citations
#cs.CR #cs.SC
- Effects Without Monads: Non-determinism -- Back to the Meta Language
2019/05/16 by Oleg Kiselyov · 1 voice
#cs.PL #cs.LO #cs.SC
- Deep learning for pedestrians: backpropagation in CNNs
2018/11/29 by Laurent Boué, Boué, Laurent · 1 voice · 1 citation
Computer Science · #cs.LG #cs.AI #cs.CV #cs.SC #stat.ML
more