Cover Image

When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Cailler, Julie, Liang, Chencheng, Rümmer, Philipp
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
by: Abdulla, Parosh Aziz, et al.
Published: (2026)

Verification under TSO with an infinite Data Domain
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)

Parsimonious Optimal Dynamic Partial Order Reduction
by: Abdulla, Parosh Aziz, et al.
Published: (2024)

Checking Consistency of Event-driven Traces
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

Unified Fairness for Weak Memory Verification
by: Abdulla, Parosh Aziz, et al.
Published: (2023)

Program of Equations Thoughts to Solve Algebra Word Problems
by: Lin, Yunze
Published: (2025)

Solving Math Word Problems Using Estimation Verification and Equation Generation
by: Piehl, Mitchell, et al.
Published: (2025)

Adaptive Regularization of Representation Rank as an Implicit Constraint of Bellman Equation
by: He, Qiang, et al.
Published: (2024)

Learning to Rank the Initial Branching Order of SAT Solvers
by: Eriksson, Arvid, et al.
Published: (2026)

Learning to Substitute Words with Model-based Score Ranking
by: Liu, Hongye, et al.
Published: (2025)

Quantum Error Mitigation with Attention Graph Transformers for Burgers Equation Solvers on NISQ Hardware
by: Tousi, Seyed Mohamad Ali, et al.
Published: (2025)

Predict the Next Word: Humans exhibit uncertainty in this task and language models _____
by: Ilia, Evgenia, et al.
Published: (2024)

Parameterized Verification of Quantum Circuits (Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

When Do Symbolic Solvers Enhance Reasoning in Large Language Models?
by: He, Zhiyuan, et al.
Published: (2025)

(Debiased) Contrastive Learning Loss for Recommendation (Technical Report)
by: Jin, Ruoming, et al.
Published: (2023)

Achieving >97% on GSM8K: Deeply Understanding the Problems Makes LLMs Better Solvers for Math Word Problems
by: Zhong, Qihuang, et al.
Published: (2024)

Resistive Memory-based Neural Differential Equation Solver for Score-based Diffusion Model
by: Yang, Jichang, et al.
Published: (2024)

Continuous-Time Digital Twin with Analogue Memristive Neural Ordinary Differential Equation Solver
by: Chen, Hegan, et al.
Published: (2024)

Smart Spatial Planning in Egypt: An Algorithm-Driven Approach to Public Service Evaluation in Qena City
by: Shamroukh, Mohamed, et al.
Published: (2025)

United States Road Accident Prediction using Random Forest Predictor
by: Yamarthi, Dominic Parosh, et al.
Published: (2025)

Neural Structure Learning with Stochastic Differential Equations
by: Wang, Benjie, et al.
Published: (2023)

DenoiseRank: Learning to Rank by Diffusion Models
by: Wang, Ying, et al.
Published: (2026)

GenesisGeo: Technical Report
by: Zhu, Minfeng, et al.
Published: (2025)

AIA Forecaster: Technical Report
by: Alur, Rohan, et al.
Published: (2025)

Xmodel-2 Technical Report
by: Qun, Wang, et al.
Published: (2024)

Hermes 4 Technical Report
by: Teknium, Ryan, et al.
Published: (2025)

GraphBridge: Towards Arbitrary Transfer Learning in GNNs
by: Ju, Li, et al.
Published: (2025)

XekRung Technical Report
by: Zeng, Jiutian, et al.
Published: (2026)

When Good Equations Get Bad Scores: Improving Symbolic Regression Through Better Parameter Optimization
by: Wang, Boxiao, et al.
Published: (2026)

Revisiting Recommendation Loss Functions through Contrastive Learning (Technical Report)
by: Li, Dong, et al.
Published: (2023)

Exploring a Cognitive Architecture for Learning Arithmetic Equations
by: Gawin, Cole
Published: (2024)

QuarkMed Medical Foundation Model Technical Report
by: Li, Ao, et al.
Published: (2025)

ARC Prize 2025: Technical Report
by: Chollet, François, et al.
Published: (2026)

Logics-Parsing-Omni Technical Report
by: An, Xin, et al.
Published: (2026)

ARC Prize 2024: Technical Report
by: Chollet, Francois, et al.
Published: (2024)

AMAP Agentic Planning Technical Report
by: AMAP AI Agent Team, et al.
Published: (2025)

Mind DeepResearch Technical Report
by: MindDR Team, et al.
Published: (2026)

EPT-1.5 Technical Report
by: Molinaro, Roberto, et al.
Published: (2024)