Cover Image

Bridging Syntax and Semantics of Lean Expressions in E-Graphs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rossel, Marcus, Goens, Andrés
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions
by: Zheng, Hongbo, et al.
Published: (2025)

Semantics of Division for Polynomial Solvers
by: Brown, Christopher W.
Published: (2024)

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
by: Promies, Valentin, et al.
Published: (2023)

Deducing Closed-Form Expressions for Bright-Solitons in Strongly Magnetized Plasmas with Physics Informed Symbolic Regression (PISR)
by: Finkelstein, Edward
Published: (2025)

Flip Graphs for Polynomial Multiplication
by: Chen, Shaoshi, et al.
Published: (2025)

Exploring the Meta Flip Graph for Matrix Multiplication
by: Kauers, Manuel, et al.
Published: (2025)

Flip Graphs with Symmetry and New Matrix Multiplication Schemes
by: Moosbauer, Jakob, et al.
Published: (2025)

Exploring Commutative Matrix Multiplication Schemes via Flip Graphs
by: Wood, Isaac
Published: (2025)

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

Meta Flip Graph meets Serendipitous Product: new Fast Matrix Multiplication results
by: Perminov, A. I.
Published: (2026)

Fast Matrix Multiplication in Small Formats: Discovering New Schemes with an Open-Source Flip Graph Framework
by: Perminov, A. I.
Published: (2026)

NoSQL Graph Databases: an overview
by: Santos, Veronica, et al.
Published: (2024)

Ontolearn-A Framework for Large-scale OWL Class Expression Learning in Python
by: Demir, Caglar, et al.
Published: (2025)

Parsing the Language of Expression: Enhancing Symbolic Regression with Domain-Aware Symbolic Priors
by: Huang, Sikai, et al.
Published: (2025)

First steps towards Computational Polynomials in Lean
by: Davenport, James Harold
Published: (2024)

The Syntax and Semantics of einsum
by: Wenig, Maurice, et al.
Published: (2025)

A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks
by: Aichmayr, Marcus S., et al.
Published: (2024)

A Knowledge Graph Informing Soil Carbon Modeling
by: Shirvani-Mahdavi, Nasim, et al.
Published: (2025)

Identity Testing for Radical Expressions
by: Balaji, Nikhil, et al.
Published: (2022)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
by: Zhang, Naifeng, et al.
Published: (2025)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
by: Kop, Cynthia, et al.
Published: (2025)

Introducing Quantification into a Hierarchical Graph Rewriting Language
by: Mishina, Haruto, et al.
Published: (2024)

Post-Training Neural Network Pruning using Graph Curvature
by: Tan, Shuhang, et al.
Published: (2026)

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

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian, et al.
Published: (2024)

Positivity Proofs for Linear Recurrences through Contracted Cones
by: Ibrahim, Alaa, et al.
Published: (2024)

Certifying Phase Abstraction
by: Froleyks, Nils, et al.
Published: (2024)

An Algorithm for Discriminating the Complete Multiplicities of a Parametric Univariate Polynomial
by: Qin, Simin, et al.
Published: (2024)

Computing Krylov iterates in the time of matrix multiplication
by: Neiger, Vincent, et al.
Published: (2024)

A Syzygial Method for Equidimensional Decomposition
by: Mohr, Rafael
Published: (2024)

An Abstraction-Preserving Block Matrix Implementation in Maple
by: Jeffrey, David J., et al.
Published: (2024)

On the Problem of Separating Variables in Multivariate Polynomial Ideals
by: Buchacher, Manfred, et al.
Published: (2024)

The Recovery of $λ$ from a Hilbert Polynomial
by: Donato, Joseph, et al.
Published: (2024)

Algorithmic reduction of polynomially nonlinear PDE systems to parametric ODE systems
by: Deng, Siyuan, et al.
Published: (2024)

Case Frames and Case-Based Arguments in Statutory Interpretation
by: Araszkiewicz, Michal
Published: (2024)

Botfip-LLM: An Enhanced Multimodal Scientific Computing Framework Leveraging Knowledge Distillation from Large Language Models
by: Chen, Tianhao, et al.
Published: (2024)

Reconciling Explanations in Multi-Model Systems through Probabilistic Argumentation
by: Hong, Shengxin, et al.
Published: (2024)

Two Algorithms for Computing Rational Univariate Representations of Zero-Dimensional Ideals with Parameters
by: Wang, Dingkang, et al.
Published: (2024)

Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
by: Nalbach, Jasper, et al.
Published: (2024)