paper-with-me

홈 › Papers

A Neurosymbolic Framework for Geometric Reduction of Binary Forms

2025-01-26 · Ilias Kotsireas, Tony Shaska

This paper compares Julia reduction and hyperbolic reduction with the aim of finding equivalent binary forms with minimal coefficients. We demonstrate that hyperbolic reduction generally outperforms Julia reduction, particularly in the cases of sextics and decimics, though neither method guarantees achieving the minimal form. We further propose an additional shift and scaling to approximate the minimal form more closely. Finally, we introduce a machine learning framework to identify optimal transformations that minimize the heights of binary forms. This study provides new insights into the geometry and algebra of binary forms and highlights the potential of AI in advancing symbolic computation and reduction techniques. The findings, supported by extensive computational experiments, lay the groundwork for hybrid approaches that integrate traditional reduction methods with data-driven techniques.

📄 PDF Abstract BibTeX arXiv:2501.15404

Code (0)

등록된 구현이 없습니다.

Tasks

Form

Similar Papers 제목 키워드 기반

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation

2024-08-21 · Fieke Hillerstrom, Gertjan Burghouts

Many inductive logic programming (ILP) methods are incapable of learning programs from probabilistic background knowledge, e.g. coming from sensory data or neural networks with probabilities. We propose Propper, which ha…

Graph Neural NetworkInductive logic programming

Neurosymbolic Grounding for Compositional World Models

2023-10-19 · Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri

We introduce Cosmos, a framework for object-centric world modeling that is designed for compositional generalization (CompGen), i.e., high performance on unseen input scenes obtained through the composition of known visu…

Optimisation in Neurosymbolic Learning Systems

2024-01-19 · Emile van Krieken

Neurosymbolic AI aims to integrate deep learning with symbolic AI. This integration has many promises, such as decreasing the amount of data required to train a neural network, improving the explainability and interpreta…

RepV: Safety-Separable Latent Spaces for Scalable Neurosymbolic Plan Verification

2025-10-30 · Yunhao Yang, Neel P. Bhatt, Pranay Samineni, Rohan Siva 외 arxiv

As AI systems migrate to safety-critical domains, verifying that their actions comply with well-defined rules remains a challenge. Formal methods provide provable guarantees but demand hand-crafted temporal-logic specifi…

Binary Classification

BiHDTrans: binary hyperdimensional transformer for efficient multivariate time series classification

2025-09-29 · Jingtao Zhang, Yi Liu, Qi Shen, Changhong Wang arxiv

The proliferation of Internet-of-Things (IoT) devices has led to an unprecedented volume of multivariate time series (MTS) data, requiring efficient and accurate processing for timely decision-making in resource-constrai…

Time Series Classification