Cover Image

GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	English, William, Walker, Chase, Simon, Dominic, Ewetz, Rickard
Format:	Preprint
Published:	2025
Subjects:	Computation and Language Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
by: English, William, et al.
Published: (2025)

Verifiable Natural Language to Linear Temporal Logic Translation: A Benchmark Dataset and Evaluation Suite
by: English, William H, et al.
Published: (2025)

NSP: A Neuro-Symbolic Natural Language Navigational Planner
by: English, William, et al.
Published: (2024)

Explaining the Reasoning of Large Language Models Using Attribution Graphs
by: Walker, Chase, et al.
Published: (2025)

Knowledge Editing for Multi-Hop Question Answering Using Semantic Analysis
by: Simon, Dominic, et al.
Published: (2025)

SignAttention: On the Interpretability of Transformer Models for Sign Language Translation
by: Bianco, Pedro Alejandro Dal, et al.
Published: (2024)

Enhanced Sign Language Translation between American Sign Language (ASL) and Indian Sign Language (ISL) Using LLMs
by: Kumar, Malay, et al.
Published: (2024)

ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees
by: Sundarsingh, David Smith, et al.
Published: (2025)

iLSU-T: an Open Dataset for Uruguayan Sign Language Translation
by: Stassi, Ariel E., et al.
Published: (2025)

Target-Side Paraphrase Augmentation for Sign Language Translation with Large Language Models
by: Bianco, Pedro Dal, et al.
Published: (2026)

SignBLEU: Automatic Evaluation of Multi-channel Sign Language Translation
by: Kim, Jung-Ho, et al.
Published: (2024)

Improving Symbolic Translation of Language Models for Logical Reasoning
by: Thatikonda, Ramya Keerthy, et al.
Published: (2026)

Culturally-Grounded Governance for Multilingual Language Models: Rights, Data Boundaries, and Accountable AI Design
by: Shi, Hanjing, et al.
Published: (2026)

LLM-Supported Natural Language to Bash Translation
by: Westenfelder, Finnian, et al.
Published: (2025)

AutoSign: Direct Pose-to-Text Translation for Continuous Sign Language Recognition
by: Johnny, Samuel Ebimobowei, et al.
Published: (2025)

Continuous Bangla Sign Language Translation: Mitigating the Expense of Gloss Annotation with the Assistance of Graph
by: Arib, Safaeid Hossain, et al.
Published: (2025)

Introducing A Bangla Sentence - Gloss Pair Dataset for Bangla Sign Language Translation and Research
by: Saha, Neelavro, et al.
Published: (2025)

DateLogicQA: Benchmarking Temporal Biases in Large Language Models
by: Bhatia, Gagan, et al.
Published: (2024)

Logical Reasoning over Natural Language as Knowledge Representation: A Survey
by: Yang, Zonglin, et al.
Published: (2023)

Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic
by: Weir, Nathaniel, et al.
Published: (2024)

Your Large Language Models Are Leaving Fingerprints
by: McGovern, Hope, et al.
Published: (2024)

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
by: Candussio, Sara, et al.
Published: (2025)

SSL-SSAW: Self-Supervised Learning with Sigmoid Self-Attention Weighting for Question-Based Sign Language Translation
by: Liu, Zekang, et al.
Published: (2025)

Quantum Natural Language Processing
by: Widdows, Dominic, et al.
Published: (2024)

SignMusketeers: An Efficient Multi-Stream Approach for Sign Language Translation at Scale
by: Gueuwou, Shester, et al.
Published: (2024)

ASP-Bench: From Natural Language to Logic Programs
by: Szeider, Stefan
Published: (2026)

Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation
by: Sun, Zhouhao, et al.
Published: (2024)

GLaM-Sign: Greek Language Multimodal Lip Reading with Integrated Sign Language Accessibility
by: Kouremenos, Dimitris, et al.
Published: (2025)

CNSL-bench: Benchmarking the Sign Language Understanding Capabilities of MLLMs on Chinese National Sign Language
by: Zhao, Rui, et al.
Published: (2026)

Towards Privacy-Aware Sign Language Translation at Scale
by: Rust, Phillip, et al.
Published: (2024)

RLearner-LLM: Balancing Logical Grounding and Fluency in Large Language Models via Hybrid Direct Preference Optimization
by: Bao, Qiming, et al.
Published: (2026)

MultiTEND: A Multilingual Benchmark for Natural Language to NoSQL Query Translation
by: Qin, Zhiqian, et al.
Published: (2025)

Phonology Recognition in American Sign Language
by: Tavella, Federico, et al.
Published: (2021)

System-Level Natural Language Feedback
by: Yuan, Weizhe, et al.
Published: (2023)

Neural Contextual Reinforcement Framework for Logical Structure Language Generation
by: Irvin, Marcus, et al.
Published: (2025)

LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
by: Mantenoglou, Periklis, et al.
Published: (2025)

SyriSign: A Parallel Corpus for Arabic Text to Syrian Arabic Sign Language Translation
by: Khalil, Mohammad Amer, et al.
Published: (2026)

Language Models and Logic Programs for Trustworthy Tax Reasoning
by: Jurayj, William, et al.
Published: (2025)

Fine-Tuned Large Language Models for Logical Translation: Reducing Hallucinations with Lang2Logic
by: Pan, Muyu, et al.
Published: (2025)

Signature vs. Substance: Evaluating the Balance of Adversarial Resistance and Linguistic Quality in Watermarking Large Language Models
by: Guo, William, et al.
Published: (2025)