:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Ryu, Hyun, Kim, Gyeongman, Lee, Hyemin S., Yang, Eunho
Formato:	Preprint
Publicado:	2024
Materias:	Computation and Language
Acceso en línea:	https://arxiv.org/abs/2410.08047
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

PromptKD: Distilling Student-Friendly Knowledge for Generative Language Models via Prompt Tuning
por: Kim, Gyeongman, et al.
Publicado: (2024)

Every Expert Matters: Towards Effective Knowledge Distillation for Mixture-of-Experts Language Models
por: Kim, Gyeongman, et al.
Publicado: (2025)

Learning Semantic Structure through First-Order-Logic Translation
por: Chaturvedi, Akshay, et al.
Publicado: (2024)

Are LLMs Stable Formal Logic Translators in Logical Reasoning Across Linguistically Diversified Texts?
por: Li, Qingchuan, et al.
Publicado: (2025)

Improving Symbolic Translation of Language Models for Logical Reasoning
por: Thatikonda, Ramya Keerthy, et al.
Publicado: (2026)

Robustness of Neurosymbolic Reasoners on First-Order Logic Problems
por: Bansal, Hannah, et al.
Publicado: (2025)

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

ReviewScore: Misinformed Peer Review Detection with Large Language Models
por: Ryu, Hyun, et al.
Publicado: (2025)

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
por: Olausson, Theo X., et al.
Publicado: (2023)

From Hypothesis to Premises: LLM-based Backward Logical Reasoning with Selective Symbolic Translation
por: Li, Qingchuan, et al.
Publicado: (2025)

LogicPro: Improving Complex Logical Reasoning via Program-Guided Learning
por: Jiang, Jin, et al.
Publicado: (2024)

Autoformalizing Natural Language to First-Order Logic: A Case Study in Logical Fallacy Detection
por: Lalwani, Abhinav, et al.
Publicado: (2024)

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

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
por: Cao, Chuxue, et al.
Publicado: (2025)

LeanReasoner: Boosting Complex Logical Reasoning with Lean
por: Jiang, Dongwei, et al.
Publicado: (2024)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
por: Le, Quang Loc
Publicado: (2025)

Enhancing Transformers for Generalizable First-Order Logical Entailment
por: Zheng, Tianshi, et al.
Publicado: (2025)

Learning When to Translate for Multilingual Reasoning
por: Kang, Deokhyung, et al.
Publicado: (2026)

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

LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision
por: Xu, Jundong, et al.
Publicado: (2025)

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

Kuroda's Translation for Higher-Order Logic
por: Traversié, Thomas
Publicado: (2024)

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

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
por: Zimmerman, Conrad, et al.
Publicado: (2024)

Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework
por: Xu, Jundong, et al.
Publicado: (2024)

Argument Reconstruction as Supervision for Critical Thinking in LLMs
por: Ryu, Hyun, et al.
Publicado: (2026)

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

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
por: Zhang, Xinglang, et al.
Publicado: (2026)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
por: Barloy, Corentin, et al.
Publicado: (2025)

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

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

Implementing the First-Order Logic of Here and There
por: Otten, Jens, et al.
Publicado: (2026)

Don't Let It Hallucinate: Premise Verification via Retrieval-Augmented Logical Reasoning
por: Qin, Yuehan, et al.
Publicado: (2025)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
por: Haselwarter, Philipp G., et al.
Publicado: (2026)

TIC: Translate-Infer-Compile for accurate "text to plan" using LLMs and Logical Representations
por: Agarwal, Sudhir, et al.
Publicado: (2024)

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition
por: Xu, Lei, et al.
Publicado: (2025)

Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree
por: Lei, Yuanyuan, et al.
Publicado: (2024)

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

Understanding Inter-Session Intentions via Complex Logical Reasoning
por: Bai, Jiaxin, et al.
Publicado: (2023)

TabVer: Tabular Fact Verification with Natural Logic
por: Aly, Rami, et al.
Publicado: (2024)