:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chen, Yongchao, Gandhi, Rujul, Zhang, Yang, Fan, Chuchu
Format:	Preprint
Published:	2023
Subjects:	Computation and Language
Online Access:	https://arxiv.org/abs/2305.07766
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
by: Hao, Yilun, et al.
Published: (2024)

Steering Large Language Models between Code Execution and Textual Reasoning
by: Chen, Yongchao, et al.
Published: (2024)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
by: Chen, Yongchao, et al.
Published: (2025)

Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
by: Chen, Yongchao, et al.
Published: (2025)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
by: Hao, Yilun, et al.
Published: (2025)

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
by: Putra, Rizky Ramadhana, et al.
Published: (2026)

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

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

NL2GenSym: Natural Language to Generative Symbolic Rules for SOAR Cognitive Architecture via Large Language Models
by: Yuan, Fang, et al.
Published: (2025)

AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers
by: Chen, Yongchao, et al.
Published: (2023)

Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge
by: Fang, Yue, et al.
Published: (2025)

NL2KQL: From Natural Language to Kusto Query
by: Tang, Xinye, et al.
Published: (2024)

NL2Formula: Generating Spreadsheet Formulas from Natural Language Queries
by: Zhao, Wei, et al.
Published: (2024)

PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Heuristic-based Sampling
by: Chen, Yongchao, et al.
Published: (2024)

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

KOS-TL (Knowledge Operation System Type Logic)
by: Chen, Peng
Published: (2026)

TL-Training: A Task-Feature-Based Framework for Training Large Language Models in Tool Use
by: Ye, Junjie, et al.
Published: (2024)

Fusing Large Language Models with Temporal Transformers for Time Series Forecasting
by: Su, Chen, et al.
Published: (2025)

LearNAT: Learning NL2SQL with AST-guided Task Decomposition for Large Language Models
by: Liao, Weibin, et al.
Published: (2025)

The Impact of Steering Large Language Models with Persona Vectors in Educational Applications
by: Wu, Yongchao, et al.
Published: (2026)

TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching
by: Meng, Yue, et al.
Published: (2025)

On Memorization of Large Language Models in Logical Reasoning
by: Xie, Chulin, et al.
Published: (2024)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
by: Fushimi, Kosei, et al.
Published: (2026)

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

Zero-Shot Fact Verification via Natural Logic and Large Language Models
by: Strong, Marek, et al.
Published: (2024)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
by: Chen, Yongchao, et al.
Published: (2025)

Adaptable Logical Control for Large Language Models
by: Zhang, Honghua, et al.
Published: (2024)

Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic
by: Li, Xingxuan, et al.
Published: (2023)

Aligning Large Language Models to a Domain-specific Graph Database for NL2GQL
by: Liang, Yuanyuan, et al.
Published: (2024)

CLOMO: Counterfactual Logical Modification with Large Language Models
by: Huang, Yinya, et al.
Published: (2023)

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

GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation
by: English, William, et al.
Published: (2025)

Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models
by: Liu, Tongxuan, et al.
Published: (2024)

Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
by: Hao, Yilun, et al.
Published: (2024)

Evaluating Large Language Models for Radiology Natural Language Processing
by: Liu, Zhengliang, et al.
Published: (2023)

Copy-Paste to Mitigate Large Language Model Hallucinations
by: Long, Yongchao, et al.
Published: (2025)

Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
by: Jiang, Jin, et al.
Published: (2025)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
by: Mensfelt, Agnieszka, et al.
Published: (2024)

FOLIO: Natural Language Reasoning with First-Order Logic
by: Han, Simeng, et al.
Published: (2022)

Confidence over Time: Confidence Calibration with Temporal Logic for Large Language Model Reasoning
by: Mao, Zhenjiang, et al.
Published: (2026)