Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems

Tharindu Madusanka, Marco Valentino, Iqra Zahid, Ian Pratt-Hartmann, Riza Batista-Navarro. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2025.

Authors

Publication Details

Published
2025-01-01
DOI
https://doi.org/10.18653/v1/2025.acl-long.1223
Primary Topic
Multi-Criteria Decision Making
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems

Iqra Zahid, Marco Valentino, Ian Pratt‐Hartmann, Riza Batista-Navarro et al.
Multi-Criteria Decision Making
article

Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems

Iqra Zahid, Marco Valentino, Ian Pratt‐Hartmann, Riza Batista-Navarro, Tharindu Madusanka
article en

Abstract

Tharindu Madusanka, Marco Valentino, Iqra Zahid, Ian Pratt-Hartmann, Riza Batista-Navarro. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2025.

National Research Foundation
Openalex Percentile: Top 77%
Multi-Criteria Decision Making
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems — Iqra Zahid, Marco Valentino, et al. · (2025) | TGRS Research Map | TGRS