Cover Image

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Xuan, Kodakandla, Dheeraj, Srivastva, Kushagra, Farooque, Mahfuza
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
by: Pan, Muyu, et al.
Published: (2025)

A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration
by: Moore, Hayden, et al.
Published: (2026)

Causally-Informed Reinforcement Learning for Adaptive Emotion-Aware Social Media Recommendation
by: Jain, Bhavika, et al.
Published: (2025)

Optimizing Small Language Models for NL2SQL via Chain-of-Thought Fine-Tuning
by: Solanki, Anshul, et al.
Published: (2026)

Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning
by: Zhang, Xuan, et al.
Published: (2025)

TransAgent: Enhancing LLM-Based Code Translation via Fine-Grained Execution Alignment
by: Yuan, Zhiqiang, et al.
Published: (2024)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
by: Quansah, Paapa Kwesi, et al.
Published: (2026)

From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS
by: Gabriel, Mina, et al.
Published: (2026)

OmniReflect: Discovering Transferable Constitutions for LLM agents via Neuro-Symbolic Reflections
by: Bharadwaj, Manasa, et al.
Published: (2025)

ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
by: Shi, Weichun, et al.
Published: (2025)

VeriMinder: Mitigating Analytical Vulnerabilities in NL2SQL
by: Mohole, Shubham, et al.
Published: (2025)

Fine-Tuning Diffusion Models via Intermediate Distribution Shaping
by: Anil, Gautham Govind, et al.
Published: (2025)

Neuro-Symbolic Entity Alignment via Variational Inference
by: Chen, Shengyuan, et al.
Published: (2024)

Compositional Neuro-Symbolic Reasoning
by: Das, Anugyan, et al.
Published: (2026)

Federated Neuro-Symbolic Learning
by: Xing, Pengwei, et al.
Published: (2023)

NeuroProlog: Multi-Task Fine-Tuning for Neurosymbolic Mathematical Reasoning via the Cocktail Effect
by: Zunjare, Pratibha, et al.
Published: (2026)

Cogniscope: Modeling Social Media Interactions as Digital Biomarkers for Early Detection of Cognitive Decline
by: Drishti, Ananya, et al.
Published: (2025)

Memory-Augmented Log Analysis with Phi-4-mini: Enhancing Threat Detection in Structured Security Logs
by: Guo, Anbi, et al.
Published: (2025)

Planning in the Dark: LLM-Symbolic Planning Pipeline without Experts
by: Huang, Sukai, et al.
Published: (2024)

Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees
by: Tao, Lue, et al.
Published: (2023)

Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Law
by: Kordjamshidi, Parisa, et al.
Published: (2026)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
by: Quan, Xin, et al.
Published: (2025)

Neuro-Symbolic Financial Reasoning via Deterministic Fact Ledgers and Adversarial Low-Latency Hallucination Detector
by: Agand, Pedram
Published: (2026)

Reliable Classroom AI via Neuro-Symbolic Multimodal Reasoning
by: Nezhad, Sina Bagheri
Published: (2026)

Neuro-Symbolic AI for Military Applications
by: Hagos, Desta Haileselassie, et al.
Published: (2024)

Assured Autonomy with Neuro-Symbolic Perception
by: Hallyburton, R. Spencer, et al.
Published: (2025)

Eve: A Deterministic, Certifiable Hard Neuro-Symbolic Cognition Engine
by: Ford, Zachary
Published: (2025)

Eve: A Deterministic, Certifiable Hard Neuro-Symbolic Cognition Engine
by: Ford, Zachary
Published: (2025)

AIVV: Neuro-Symbolic LLM Agent-Integrated Verification and Validation for Trustworthy Autonomous Systems
by: Kwon, Jiyong, et al.
Published: (2026)

Aeon: High-Performance Neuro-Symbolic Memory Management for Long-Horizon LLM Agents
by: Arslan, Mustafa
Published: (2026)

Neuro-Symbolic Rule Lists
by: Xu, Sascha, et al.
Published: (2024)

Neuro-Symbolic Verification on Instruction Following of LLMs
by: Su, Yiming, et al.
Published: (2026)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Neuro-Symbolic Data Generation for Math Reasoning
by: Li, Zenan, et al.
Published: (2024)

A Semantic Framework for Neuro-Symbolic Computing
by: Odense, Simon, et al.
Published: (2022)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
by: Miya, Shinobu
Published: (2025)

A New Pipeline For Generating Instruction Dataset via RAG and Self Fine-Tuning
by: Song, Chih-Wei, et al.
Published: (2024)

Next-Gen Education: Enhancing AI for Microlearning
by: Saha, Suman, et al.
Published: (2025)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
by: Wu, Yanrui, et al.
Published: (2026)