Image de couverture de livre

Enhancing Transformation from Natural Language to Signal Temporal Logic Using LLMs with Diverse External Knowledge

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Fang, Yue, Jin, Zhi, An, Jie, Chen, Hongshen, Chen, Xiaohong, Zhan, Naijun
Format:	Preprint
Publié:	2025
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

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
par: Fang, Yue, et autres
Publié: (2025)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
par: Fang, Yue, et autres
Publié: (2026)

Transforming External Knowledge into Triplets for Enhanced Retrieval in RAG of LLMs
par: Wang, Xudong, et autres
Publié: (2026)

NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models
par: Chen, Yongchao, et autres
Publié: (2023)

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
par: Fushimi, Kosei, et autres
Publié: (2026)

Rejection Improves Reliability: Training LLMs to Refuse Unknown Questions Using RL from Knowledge Feedback
par: Xu, Hongshen, et autres
Publié: (2024)

CLaw: Benchmarking Chinese Legal Knowledge in Large Language Models - A Fine-grained Corpus and Reasoning Analysis
par: Xu, Xinzhe, et autres
Publié: (2025)

Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
par: English, William, et autres
Publié: (2025)

LLM Inference Enhanced by External Knowledge: A Survey
par: Lin, Yu-Hsuan, et autres
Publié: (2025)

Multilingual Brain Surgeon: Large Language Models Can be Compressed Leaving No Language Behind
par: Zeng, Hongchuan, et autres
Publié: (2024)

Transparentize the Internal and External Knowledge Utilization in LLMs with Trustworthy Citation
par: Shen, Jiajun, et autres
Publié: (2025)

Enhancing LLM Reliability via Explicit Knowledge Boundary Modeling
par: Zheng, Hang, et autres
Publié: (2025)

Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic
par: Weir, Nathaniel, et autres
Publié: (2024)

Last Layer Logits to Logic: Empowering LLMs with Logic-Consistent Structured Knowledge Reasoning
par: Li, Songze, et autres
Publié: (2025)

Bridging External and Parametric Knowledge: Mitigating Hallucination of LLMs with Shared-Private Semantic Synergy in Dual-Stream Knowledge
par: Sui, Yi, et autres
Publié: (2025)

Thrust: Adaptively Propels Large Language Models with External Knowledge
par: Zhao, Xinran, et autres
Publié: (2023)

Diversifying Question Generation over Knowledge Base via External Natural Questions
par: Guo, Shasha, et autres
Publié: (2023)

SQLForge: Synthesizing Reliable and Diverse Data to Enhance Text-to-SQL Reasoning in LLMs
par: Guo, Yu, et autres
Publié: (2025)

BLEnD: A Benchmark for LLMs on Everyday Knowledge in Diverse Cultures and Languages
par: Myung, Junho, et autres
Publié: (2024)

Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views
par: Fang, Feihao, et autres
Publié: (2026)

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

CLR-Fact: Evaluating the Complex Logical Reasoning Capability of Large Language Models over Factual Knowledge
par: Zheng, Tianshi, et autres
Publié: (2024)

G2: Guided Generation for Enhanced Output Diversity in LLMs
par: Ruan, Zhiwen, et autres
Publié: (2025)

Logical Reasoning over Natural Language as Knowledge Representation: A Survey
par: Yang, Zonglin, et autres
Publié: (2023)

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
par: Candussio, Sara, et autres
Publié: (2026)

Knowledge-to-Verification: Exploring RLVR for LLMs in Knowledge-Intensive Domains
par: Yuan, Zhonghang, et autres
Publié: (2026)

GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation
par: English, William, et autres
Publié: (2025)

Alignment for Efficient Tool Calling of Large Language Models
par: Xu, Hongshen, et autres
Publié: (2025)

Logical Structure as Knowledge: Enhancing LLM Reasoning via Structured Logical Knowledge Density Estimation
par: Bi, Zhen, et autres
Publié: (2025)

Beyond Natural Language: LLMs Leveraging Alternative Formats for Enhanced Reasoning and Communication
par: Chen, Weize, et autres
Publié: (2024)

Enhancing LLM Medical Coding with Structured External Knowledge
par: Gan, Yidong, et autres
Publié: (2026)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
par: Roop, Partha, et autres
Publié: (2026)

Large Language Models Lack Temporal Awareness of Medical Knowledge
par: Guan, Zihan, et autres
Publié: (2026)

A Generalized Hybrid Hoare Logic
par: Zhan, Naijun, et autres
Publié: (2023)

Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents
par: Mensfelt, Agnieszka, et autres
Publié: (2024)

Language Modeling with Editable External Knowledge
par: Li, Belinda Z., et autres
Publié: (2024)

Complex Reasoning over Logical Queries on Commonsense Knowledge Graphs
par: Fang, Tianqing, et autres
Publié: (2024)

Resisting Correction: How RLHF Makes Language Models Ignore External Safety Signals in Natural Conversation
par: Cataneo, Felipe Biava
Publié: (2025)

TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphs
par: Xiong, Siheng, et autres
Publié: (2024)

Knowledge Distillation for Temporal Knowledge Graph Reasoning with Large Language Models
par: Xing, Wang, et autres
Publié: (2026)