:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Koutschan, Christoph, Ponomarchuk, Anton, Schicho, Josef
Format:	Preprint
Published:	2024
Subjects:	Discrete Mathematics Machine Learning Symbolic Computation
Online Access:	https://arxiv.org/abs/2406.02421
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Positivity sets of hinge functions
by: Schicho, Josef, et al.
Published: (2025)

A Rank 23 Algorithm for Multiplying 3 x 3 Matrices with an Arithmetic Complexity of 59
by: Mårtensson, Erik, et al.
Published: (2025)

On Linear Representation, Complexity and Inversion of maps over finite fields
by: Anantharaman, Ramachandran, et al.
Published: (2020)

Redundancy analysis using lcm-filtrations: networks, system signature and sensitivity evaluation
by: Mohammadi, Fatemeh, et al.
Published: (2025)

Decomposition Polyhedra of Piecewise Linear Functions
by: Brandenburg, Marie-Charlotte, et al.
Published: (2024)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
by: Li, Zhengyu, et al.
Published: (2025)

Symbolic Sets for Proving Bounds on Rado Numbers
by: Ahmed, Tanbir, et al.
Published: (2025)

Reasoning About Action and Change
by: de Saint-Cyr, Florence Dupin, et al.
Published: (2024)

SHA-256 Collision Attack with Programmatic SAT
by: Alamgir, Nahiyan, et al.
Published: (2024)

Algebraic anti-unification
by: Antić, Christian
Published: (2024)

SAT and Lattice Reduction for Integer Factorization
by: Ajani, Yameen, et al.
Published: (2024)

Coalgebraic analysis of social systems
by: Motamed, Nima, et al.
Published: (2026)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
by: Barket, Rashid, et al.
Published: (2024)

How to generate all possible rational Wilf-Zeilberger forms?
by: Chen, Shaoshi, et al.
Published: (2024)

Creative Telescoping
by: Chen, Shaoshi, et al.
Published: (2025)

A Shape Lemma for Ideals of Differential Operators
by: Kauers, Manuel, et al.
Published: (2025)

Deep Neural Network for Constraint Acquisition through Tailored Loss Function
by: Vyhmeister, Eduardo, et al.
Published: (2024)

Extended Deep Submodular Functions
by: Hosseini, Seyed Mohammad, et al.
Published: (2024)

LLM4ED: Large Language Models for Automatic Equation Discovery
by: Du, Mengge, et al.
Published: (2024)

Computing Linear Regions in Neural Networks with Skip Connections
by: Joyce, Johnny, et al.
Published: (2025)

Bounds on the Number of Pieces in Continuous Piecewise Affine Functions
by: Zanotti, Leo
Published: (2025)

New Results on Periodic Golay Pairs
by: Lumsden, Tyler, et al.
Published: (2024)

Efficient Algorithm for Sparse Fourier Transform of Generalized $q$-ary Functions
by: Tsui, Darin, et al.
Published: (2025)

The Computational Complexity of Counting Linear Regions in ReLU Neural Networks
by: Stargalla, Moritz, et al.
Published: (2025)

Identifying Causal Effects Under Functional Dependencies
by: Chen, Yizuo, et al.
Published: (2024)

On Piecewise Affine Reachability with Bellman Operators
by: Varonka, Anton, et al.
Published: (2025)

HyP-ASO: A Hybrid Policy-based Adaptive Search Optimization Framework for Large-Scale Integer Linear Programs
by: Xu, Ning, et al.
Published: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
by: Jakubův, Jan, et al.
Published: (2024)

Analytical Lyapunov Function Discovery: An RL-based Generative Approach
by: Zou, Haohan, et al.
Published: (2025)

Differentiable Weightless Controllers: Learning Logic Circuits for Continuous Control
by: Kresse, Fabian, et al.
Published: (2025)

Reward Generalization in RLHF: A Topological Perspective
by: Qiu, Tianyi, et al.
Published: (2024)

Optimal Mixed Integer Linear Optimization Trained Multivariate Classification Trees
by: Alston, Brandon, et al.
Published: (2024)

Polynomial Bounds of CFLOBDDs against BDDs
by: Zhi, Xusheng, et al.
Published: (2024)

Provably Good Solutions to the Knapsack Problem via Neural Networks of Bounded Size
by: Hertrich, Christoph, et al.
Published: (2020)

Depth-Bounds for Neural Networks via the Braid Arrangement
by: Grillo, Moritz, et al.
Published: (2025)

Shape Constraints in Symbolic Regression using Penalized Least Squares
by: Martinek, Viktor, et al.
Published: (2024)

Interpretable Concept Bottlenecks to Align Reinforcement Learning Agents
by: Delfosse, Quentin, et al.
Published: (2024)

The Liouville Generator for Producing Integrable Expressions
by: Barket, Rashid, et al.
Published: (2024)

Active Symbolic Discovery of Ordinary Differential Equations via Phase Portrait Sketching
by: Jiang, Nan, et al.
Published: (2024)

Transformers to Predict the Applicability of Symbolic Integration Routines
by: Barket, Rashid, et al.
Published: (2024)