Image de couverture de livre

FOL2NS: Generating Natural Sentences from First-Order Logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Jia, Mei
Format:	Preprint
Publié:	2026
Sujets:	Computation and Language
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

FOLIO: Natural Language Reasoning with First-Order Logic
par: Han, Simeng, et autres
Publié: (2022)

Assessing the Sensitivity and Alignment of FOL Closeness Metrics
par: Thatikonda, Ramya Keerthy, et autres
Publié: (2025)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
par: Lalwani, Abhinav, et autres
Publié: (2024)

A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
par: Moore, Hayden, et autres
Publié: (2026)

Robustness of Neurosymbolic Reasoners on First-Order Logic Problems
par: Bansal, Hannah, et autres
Publié: (2025)

Strategies for Improving NL-to-FOL Translation with LLMs: Data Generation, Incremental Fine-Tuning, and Verification
par: Thatikonda, Ramya Keerthy, et autres
Publié: (2024)

Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
par: Ryu, Hyun, et autres
Publié: (2024)

Enhancing Transformers for Generalizable First-Order Logical Entailment
par: Zheng, Tianshi, et autres
Publié: (2025)

OrderSum: Semantic Sentence Ordering for Extractive Summarization
par: Kwon, Taewan, et autres
Publié: (2025)

Learning Semantic Structure through First-Order-Logic Translation
par: Chaturvedi, Akshay, et autres
Publié: (2024)

Entailment-Preserving First-order Logic Representations in Natural Language Entailment
par: Lee, Jinu, et autres
Publié: (2025)

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

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
par: Lee, Isabelle, et autres
Publié: (2025)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
par: Olausson, Theo X., et autres
Publié: (2023)

Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
par: Vossel, Felix, et autres
Publié: (2025)

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
par: Putra, Rizky Ramadhana, et autres
Publié: (2026)

Domain Adaptation for Japanese Sentence Embeddings with Contrastive Learning based on Synthetic Sentence Generation
par: Chen, Zihao, et autres
Publié: (2025)

Refining Sentence Embedding Model through Ranking Sentences Generation with Large Language Models
par: He, Liyang, et autres
Publié: (2025)

GASE: Generatively Augmented Sentence Encoding
par: Frank, Manuel, et autres
Publié: (2024)

In Tree Structure Should Sentence Be Generated
par: Li, Yaguang, et autres
Publié: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
par: Cao, Chuxue, et autres
Publié: (2025)

Generating Diverse Negations from Affirmative Sentences
par: Vasquez, Darian Rodriguez, et autres
Publié: (2024)

Automaton-based Characterisations of First Order Logic over Infinite Trees
par: Benerecetti, Massimo, et autres
Publié: (2026)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
par: Benerecetti, Massimo, et autres
Publié: (2025)

Making Sentence Embeddings Robust to User-Generated Content
par: Nishimwe, Lydia, et autres
Publié: (2024)

Multilingual Sentence-T5: Scalable Sentence Encoders for Multilingual Applications
par: Yano, Chihiro, et autres
Publié: (2024)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
par: Ardon, Leo, et autres
Publié: (2024)

SLFNet: Generating Semantic Logic Forms from Natural Language Using Semantic Probability Graphs
par: Wu, Hao, et autres
Publié: (2024)

Comments as Natural Logic Pivots: Improve Code Generation via Comment Perspective
par: Chen, Yijie, et autres
Publié: (2024)

Detecting Sexual Content at the Sentence Level in First Millennium Latin Texts
par: Clérice, Thibault
Publié: (2023)

Implementing the First-Order Logic of Here and There
par: Otten, Jens, et autres
Publié: (2026)

Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
par: Brunello, Andrea, et autres
Publié: (2025)

Concise and Sufficient Sub-Sentence Citations for Retrieval-Augmented Generation
par: Chen, Guo, et autres
Publié: (2025)

Simple Techniques for Enhancing Sentence Embeddings in Generative Language Models
par: Zhang, Bowen, et autres
Publié: (2024)

Proving Cutoff Bounds for Safety Properties in First-Order Logic
par: Lotan, Raz, et autres
Publié: (2024)

Implicit Rankings for Verifying Liveness Properties in First-Order Logic
par: Lotan, Raz, et autres
Publié: (2024)

Generating Completions for Broca's Aphasic Sentences Using Large Language Models
par: van Vaals, Sijbren, et autres
Publié: (2024)

2D Matryoshka Sentence Embeddings
par: Li, Xianming, et autres
Publié: (2024)

TabVer: Tabular Fact Verification with Natural Logic
par: Aly, Rami, et autres
Publié: (2024)