LogicMP improves neural networks by integrating logical reasoning for better predictions.
― 7 min read
Computer Science - Symbolic Computation
RSSLatest Articles
Latest Articles
FEX offers a novel approach to understanding complex network dynamics from limited data.
― 9 min read
A deep dive into the role of symmetric functions over finite fields.
― 5 min read
Investigating new methods to enhance pseudorandom generators for better algorithm efficiency.
― 5 min read
A look into how we determine parameter values in differential equations.
― 6 min read
Learn how to make parameters identifiable in ODE models.
― 6 min read
A look into the role of quantum circuits in computing and future prospects.
― 6 min read
Explore the unique properties and applications of elliptic surfaces in mathematics.
― 6 min read
Grobner bases simplify computations in solving polynomial equations, impacting fields like cryptography.
― 5 min read
CGPO enhances decision-making in uncertain scenarios with mixed actions.
― 7 min read
Explore solutions for agents moving through shared spaces without collisions.
― 5 min read
Assessing the reasoning abilities of LLMs through the ARC benchmark.
― 5 min read
This method improves tracking of solutions in changing systems of equations.
― 7 min read
A novel algorithm improves computation of polynomial equations using Gröbner bases and Hensel lifting.
― 6 min read
Learn about WebPie, a simple language using dependent types for safe programming.
― 6 min read
Exploring AI's role in shaping music through advanced techniques and structures.
― 5 min read
Exploring total division in mathematical structures and its implications.
― 7 min read
A new method enhances DAE regularization techniques for better efficiency and accuracy.
― 5 min read
Introducing new methods to improve optical flow estimation using event-based cameras.
― 7 min read
A new approach enhances the evaluation of dynamic relationships using Petri nets.
― 8 min read
This paper presents a new sub-polyhedral domain for optimizing machine learning compilers.
― 8 min read
AutoLINC automates loss function design for better handling of class imbalance in machine learning.
― 7 min read
A new method to improve predictive models using uncertain data.
― 7 min read
A clear look into chemical reactions and their simulations, from basics to applications.
― 4 min read
Combining NIDS with Neurosymbolic AI improves threat detection and system understanding.
― 5 min read
A fresh approach to AI combines language models with symbolic programs for better interpretability.
― 8 min read
This article presents a method to certify feasibility in semidefinite programming.
― 6 min read
New AI models enhance reasoning skills using visual puzzles.
― 6 min read
Examining the security of SHA-256 and recent collision finding techniques.
― 6 min read
New hybrid methods improve efficiency in integer factorization for cryptography.
― 6 min read
Differentiable Tree Experts improves tree operations in artificial intelligence.
― 6 min read
A look into techniques for counting regular graphs and their applications.
― 5 min read
FEAS enhances automated theorem proving for functional equations using new strategies.
― 6 min read
Exploring complex relationships in linear equations within abelian-by-cyclic groups.
― 5 min read
CTSLAM enhances robotic localization and mapping using flexible data integration.
― 4 min read
Research highlights methods to maintain dialogue consistency in restaurant-related conversations.
― 7 min read
New method improves classification accuracy and adaptability through error detection.
― 5 min read
Discovering connections between complex reflection groups and linear differential equations.
― 4 min read
Recent advancements in Real Quantifier Elimination and CAD improve problem-solving efficiency in mathematics.
― 5 min read
Learn how math aids in understanding chemical reactions and their interactions.
― 4 min read
A look into polynomial handling with Lean's features and challenges.
― 4 min read