Buchumschlag

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Jiyao, Zhong, Chengli, Xu, Hui, Li, Qige, Zhou, Yi
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
von: Zhou, Jin Peng, et al.
Veröffentlicht: (2024)

Faithful Autoformalization via Roundtrip Verification and Repair
von: Amrollahi, Daneshvar, et al.
Veröffentlicht: (2026)

FormalAlign: Automated Alignment Evaluation for Autoformalization
von: Lu, Jianqiao, et al.
Veröffentlicht: (2024)

Negation Triplet Extraction with Syntactic Dependency and Semantic Consistency
von: Shi, Yuchen, et al.
Veröffentlicht: (2024)

Evaluating Semantic and Syntactic Understanding in Large Language Models for Payroll Systems
von: Maclean, Hendrika, et al.
Veröffentlicht: (2026)

Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo
von: Loula, João, et al.
Veröffentlicht: (2025)

A New Approach Towards Autoformalization
von: Patel, Nilay, et al.
Veröffentlicht: (2023)

S$^4$C: Speculative Sampling with Syntactic and Semantic Coherence for Efficient Inference of Large Language Models
von: He, Tao, et al.
Veröffentlicht: (2025)

Dual Encoder: Exploiting the Potential of Syntactic and Semantic for Aspect Sentiment Triplet Extraction
von: Zhao, Xiaowei, et al.
Veröffentlicht: (2024)

Syntactic Evolution in Language Usage
von: Kumar, Surbhit
Veröffentlicht: (2025)

Emergence of Phonemic, Syntactic, and Semantic Representations in Artificial Neural Networks
von: Orhan, Pierre, et al.
Veröffentlicht: (2026)

Efficient Knowledge Infusion via KG-LLM Alignment
von: Jiang, Zhouyu, et al.
Veröffentlicht: (2024)

An Evaluation Benchmark for Autoformalization in Lean4
von: Gulati, Aryan, et al.
Veröffentlicht: (2024)

Multi-View Attention Syntactic Enhanced Graph Convolutional Network for Aspect-based Sentiment Analysis
von: Huang, Xiang, et al.
Veröffentlicht: (2025)

A Systematic Study of Compositional Syntactic Transformer Language Models
von: Zhao, Yida, et al.
Veröffentlicht: (2025)

Learning to Self-Verify Makes Language Models Better Reasoners
von: Chen, Yuxin, et al.
Veröffentlicht: (2026)

A Linguistics-Aware LLM Watermarking via Syntactic Predictability
von: Park, Shinwoo, et al.
Veröffentlicht: (2025)

Reliable Evaluation and Benchmarks for Statement Autoformalization
von: Poiroux, Auguste, et al.
Veröffentlicht: (2024)

Multi-objective Large Language Model Alignment with Hierarchical Experts
von: Li, Zhuo, et al.
Veröffentlicht: (2025)

Consistency Analysis of Sentiment Predictions using Syntactic & Semantic Context Assessment Summarization (SSAS)
von: Daruwalla, Sharookh, et al.
Veröffentlicht: (2026)

How Independent are Large Language Models? A Statistical Framework for Auditing Behavioral Entanglement and Reweighting Verifier Ensembles
von: Kuai, Chenchen, et al.
Veröffentlicht: (2026)

Multi-Scale Manifold Alignment for Interpreting Large Language Models: A Unified Information-Geometric Framework
von: Zhang, Yukun, et al.
Veröffentlicht: (2025)

Syntactic Language Change in English and German: Metrics, Parsers, and Convergences
von: Chen, Yanran, et al.
Veröffentlicht: (2024)

LASA: Language-Agnostic Semantic Alignment at the Semantic Bottleneck for LLM Safety
von: Yang, Junxiao, et al.
Veröffentlicht: (2026)

Graph Neural Network Framework for Sentiment Analysis Using Syntactic Feature
von: Wu, Linxiao, et al.
Veröffentlicht: (2024)

LOLgorithm: Integrating Semantic,Syntactic and Contextual Elements for Humor Classification
von: Khurana, Tanisha, et al.
Veröffentlicht: (2024)

OTESGN: Optimal Transport-Enhanced Syntactic-Semantic Graph Networks for Aspect-Based Sentiment Analysis
von: Liao, Xinfeng, et al.
Veröffentlicht: (2025)

Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step-by-step
von: Zhong, Li, et al.
Veröffentlicht: (2024)

Generative Pretrained Structured Transformers: Unsupervised Syntactic Language Models at Scale
von: Hu, Xiang, et al.
Veröffentlicht: (2024)

Toward Verifiable Misinformation Detection: A Multi-Tool LLM Agent Framework
von: Cui, Zikun, et al.
Veröffentlicht: (2025)

On Verifiable Legal Reasoning: A Multi-Agent Framework with Formalized Knowledge Representations
von: Sadowski, Albert, et al.
Veröffentlicht: (2025)

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
von: Liu, Xiaoyang, et al.
Veröffentlicht: (2025)

The Grammar of Transformers: A Systematic Review of Interpretability Research on Syntactic Knowledge in Language Models
von: Graichen, Nora, et al.
Veröffentlicht: (2026)

Benchmarking Multi-National Value Alignment for Large Language Models
von: Shi, Weijie, et al.
Veröffentlicht: (2025)

Syntactic Control of Language Models by Posterior Inference
von: Xefteri, Vicky, et al.
Veröffentlicht: (2025)

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
von: Agarwal, Anmol, et al.
Veröffentlicht: (2026)

Leveraging Weighted Syntactic and Semantic Context Assessment Summary (wSSAS) Towards Text Categorization Using LLMs
von: Kathuria, Shreeya Verma, et al.
Veröffentlicht: (2026)

Simultaneous Multi-objective Alignment Across Verifiable and Non-verifiable Rewards
von: Shen, Yiran, et al.
Veröffentlicht: (2025)

Empathy Level Alignment via Reinforcement Learning for Empathetic Response Generation
von: Ma, Hui, et al.
Veröffentlicht: (2024)

Don't Forget Your Reward Values: Language Model Alignment via Value-based Calibration
von: Mao, Xin, et al.
Veröffentlicht: (2024)