:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Fang, Yue, Jin, Zhi, An, Jie, Chen, Hongshen, Chen, Xiaohong, Zhan, Naijun
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computation and Language
Accesso online:	https://arxiv.org/abs/2505.20658
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

RESTL: Reinforcement Learning Guided by Multi-Aspect Rewards for Signal Temporal Logic Transformation
di: Fang, Yue, et al.
Pubblicazione: (2025)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
di: Fang, Yue, et al.
Pubblicazione: (2026)

CLaw: Benchmarking Chinese Legal Knowledge in Large Language Models - A Fine-grained Corpus and Reasoning Analysis
di: Xu, Xinzhe, et al.
Pubblicazione: (2025)

Transforming External Knowledge into Triplets for Enhanced Retrieval in RAG of LLMs
di: Wang, Xudong, et al.
Pubblicazione: (2026)

Rejection Improves Reliability: Training LLMs to Refuse Unknown Questions Using RL from Knowledge Feedback
di: Xu, Hongshen, et al.
Pubblicazione: (2024)

NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models
di: Chen, Yongchao, et al.
Pubblicazione: (2023)

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

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

LLM Inference Enhanced by External Knowledge: A Survey
di: Lin, Yu-Hsuan, et al.
Pubblicazione: (2025)

Multilingual Brain Surgeon: Large Language Models Can be Compressed Leaving No Language Behind
di: Zeng, Hongchuan, et al.
Pubblicazione: (2024)

Enhancing LLM Reliability via Explicit Knowledge Boundary Modeling
di: Zheng, Hang, et al.
Pubblicazione: (2025)

Transparentize the Internal and External Knowledge Utilization in LLMs with Trustworthy Citation
di: Shen, Jiajun, et al.
Pubblicazione: (2025)

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

Last Layer Logits to Logic: Empowering LLMs with Logic-Consistent Structured Knowledge Reasoning
di: Li, Songze, et al.
Pubblicazione: (2025)

A Generalized Hybrid Hoare Logic
di: Zhan, Naijun, et al.
Pubblicazione: (2023)

Bridging External and Parametric Knowledge: Mitigating Hallucination of LLMs with Shared-Private Semantic Synergy in Dual-Stream Knowledge
di: Sui, Yi, et al.
Pubblicazione: (2025)

Thrust: Adaptively Propels Large Language Models with External Knowledge
di: Zhao, Xinran, et al.
Pubblicazione: (2023)

Diversifying Question Generation over Knowledge Base via External Natural Questions
di: Guo, Shasha, et al.
Pubblicazione: (2023)

Runtime Enforcement of CPS against Signal Temporal Logic
di: Su, Han, et al.
Pubblicazione: (2025)

Alignment for Efficient Tool Calling of Large Language Models
di: Xu, Hongshen, et al.
Pubblicazione: (2025)

SQLForge: Synthesizing Reliable and Diverse Data to Enhance Text-to-SQL Reasoning in LLMs
di: Guo, Yu, et al.
Pubblicazione: (2025)

Comments as Natural Logic Pivots: Improve Code Generation via Comment Perspective
di: Chen, Yijie, et al.
Pubblicazione: (2024)

Discovering a Shared Logical Subspace: Steering LLM Logical Reasoning via Alignment of Natural-Language and Symbolic Views
di: Fang, Feihao, et al.
Pubblicazione: (2026)

Enhancing LLM Medical Coding with Structured External Knowledge
di: Gan, Yidong, et al.
Pubblicazione: (2026)

Logical Structure as Knowledge: Enhancing LLM Reasoning via Structured Logical Knowledge Density Estimation
di: Bi, Zhen, et al.
Pubblicazione: (2025)

CLR-Fact: Evaluating the Complex Logical Reasoning Capability of Large Language Models over Factual Knowledge
di: Zheng, Tianshi, et al.
Pubblicazione: (2024)

Knowledge-to-Verification: Exploring RLVR for LLMs in Knowledge-Intensive Domains
di: Yuan, Zhonghang, et al.
Pubblicazione: (2026)

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

BLEnD: A Benchmark for LLMs on Everyday Knowledge in Diverse Cultures and Languages
di: Myung, Junho, et al.
Pubblicazione: (2024)

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

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

Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
di: Candussio, Sara, et al.
Pubblicazione: (2026)

Complex Reasoning over Logical Queries on Commonsense Knowledge Graphs
di: Fang, Tianqing, et al.
Pubblicazione: (2024)

Large Language Models Lack Temporal Awareness of Medical Knowledge
di: Guan, Zihan, et al.
Pubblicazione: (2026)

G2: Guided Generation for Enhanced Output Diversity in LLMs
di: Ruan, Zhiwen, et al.
Pubblicazione: (2025)

Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems
di: Roop, Partha, et al.
Pubblicazione: (2026)

Beyond Natural Language: LLMs Leveraging Alternative Formats for Enhanced Reasoning and Communication
di: Chen, Weize, et al.
Pubblicazione: (2024)

Language Modeling with Editable External Knowledge
di: Li, Belinda Z., et al.
Pubblicazione: (2024)

Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers
di: Yang, Andy, et al.
Pubblicazione: (2024)

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