:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Moore, Hayden, Saha, Suman, Farooque, Mahfuza
Format:	Preprint
Published:	2026
Subjects:	Computation and Language
Online Access:	https://arxiv.org/abs/2605.17911
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
by: Pan, Muyu, et al.
Published: (2025)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
by: Brunello, Andrea, et al.
Published: (2025)

Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
by: Thatikonda, Ramya Keerthy, et al.
Published: (2024)

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline
by: Liu, Xuan, et al.
Published: (2026)

Cogniscope: Modeling Social Media Interactions as Digital Biomarkers for Early Detection of Cognitive Decline
by: Drishti, Ananya, et al.
Published: (2025)

Next-Gen Education: Enhancing AI for Microlearning
by: Saha, Suman, et al.
Published: (2025)

Memory-Augmented Log Analysis with Phi-4-mini: Enhancing Threat Detection in Structured Security Logs
by: Guo, Anbi, et al.
Published: (2025)

MTEB-NL and E5-NL: Embedding Benchmark and Models for Dutch
by: Banar, Nikolay, et al.
Published: (2025)

Assessing the Sensitivity and Alignment of FOL Closeness Metrics
by: Thatikonda, Ramya Keerthy, et al.
Published: (2025)

FOL2NS: Generating Natural Sentences from First-Order Logic
by: Jia, Mei
Published: (2026)

NL2SQLBench: A Modular Benchmarking Framework for LLM-Enabled NL2SQL Solutions
by: Hou, Shizheng, et al.
Published: (2026)

BEIR-NL: Zero-shot Information Retrieval Benchmark for the Dutch Language
by: Banar, Nikolay, et al.
Published: (2024)

A Fisher's exact test justification of the TF-IDF term-weighting scheme
by: Sheridan, Paul, et al.
Published: (2025)

Linear Reasoning vs. Proof by Cases: Obstacles for Large Language Models in FOL Problem Solving
by: Ji, Yuliang, et al.
Published: (2026)

SPENCE: A Syntactic Probe for Detecting Contamination in NL2SQL Benchmarks
by: Safarzadeh, Mohammadtaher, et al.
Published: (2026)

FD-NL2SQL: Feedback-Driven Clinical NL2SQL that Improves with Use
by: Chowdhury, Suparno Roy, et al.
Published: (2026)

CLARITY: A Framework and Benchmark for Conversational Language Ambiguity and Unanswerability in Interactive NL2SQL Systems
by: Sarwar, Tabinda, et al.
Published: (2026)

Causally-Informed Reinforcement Learning for Adaptive Emotion-Aware Social Media Recommendation
by: Jain, Bhavika, et al.
Published: (2025)

Evaluating NL2SQL via SQL2NL
by: Safarzadeh, Mohammadtaher, et al.
Published: (2025)

$R^3$-NL2GQL: A Model Coordination and Knowledge Graph Alignment Approach for NL2GQL
by: Zhou, Yuhang, et al.
Published: (2023)

LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization
by: Viswanadha, Koushik, et al.
Published: (2025)

Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA
by: Xiao, Weihua, et al.
Published: (2025)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
by: Moore, Hayden, et al.
Published: (2025)

NAT-NL2GQL: A Novel Multi-Agent Framework for Translating Natural Language to Graph Query Language
by: Liang, Yuanyuan, et al.
Published: (2024)

Rule-Based Approaches to Atomic Sentence Extraction
by: Kamana, Lineesha, et al.
Published: (2026)

Common TF-IDF variants arise as key components in the test statistic of a penalized likelihood-ratio test for word burstiness
by: Ahmed, Zeyad, et al.
Published: (2026)

NL-Eye: Abductive NLI for Images
by: Ventura, Mor, et al.
Published: (2024)

Effectiveness of Prompt Optimization in NL2SQL Systems
by: Gurajada, Sairam, et al.
Published: (2025)

SCL(FOL) Revisited
by: Bromberger, Martin, et al.
Published: (2023)

Four Ways to Improve Verbo-visual Fusion for Dense 3D Visual Grounding
by: Unal, Ozan, et al.
Published: (2023)

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

ODIN: A NL2SQL Recommender to Handle Schema Ambiguity
by: Vaidya, Kapil, et al.
Published: (2025)

PATENTWRITER: A Benchmarking Study for Patent Drafting with LLMs
by: Shomee, Homaira Huda, et al.
Published: (2025)

Comparing Large Language Models and Traditional Machine Translation Tools for Translating Medical Consultation Summaries: A Pilot Study
by: Li, Andy, et al.
Published: (2025)

Benchmarking Machine Translation with Cultural Awareness
by: Yao, Binwei, et al.
Published: (2023)

NL-Debugging: Exploiting Natural Language as an Intermediate Representation for Code Debugging
by: Zhang, Weiming, et al.
Published: (2025)

An Agentic System for Schema Aware NL2SQL Generation
by: Onyango, David, et al.
Published: (2026)

Sāmayik: A Benchmark and Dataset for English-Sanskrit Translation
by: Maheshwari, Ayush, et al.
Published: (2023)

FinS-Pilot: A Benchmark for Online Financial RAG System
by: Wang, Feng, et al.
Published: (2025)