Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Zhang, Jiyao, Zhong, Chengli, Xu, Hui, Li, Qige, Zhou, Yi
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Computation and Language Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
di: Zhou, Jin Peng, et al.
Pubblicazione: (2024)

Faithful Autoformalization via Roundtrip Verification and Repair
di: Amrollahi, Daneshvar, et al.
Pubblicazione: (2026)

FormalAlign: Automated Alignment Evaluation for Autoformalization
di: Lu, Jianqiao, et al.
Pubblicazione: (2024)

Negation Triplet Extraction with Syntactic Dependency and Semantic Consistency
di: Shi, Yuchen, et al.
Pubblicazione: (2024)

Evaluating Semantic and Syntactic Understanding in Large Language Models for Payroll Systems
di: Maclean, Hendrika, et al.
Pubblicazione: (2026)

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

A New Approach Towards Autoformalization
di: Patel, Nilay, et al.
Pubblicazione: (2023)

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

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

Syntactic Evolution in Language Usage
di: Kumar, Surbhit
Pubblicazione: (2025)

Emergence of Phonemic, Syntactic, and Semantic Representations in Artificial Neural Networks
di: Orhan, Pierre, et al.
Pubblicazione: (2026)

Efficient Knowledge Infusion via KG-LLM Alignment
di: Jiang, Zhouyu, et al.
Pubblicazione: (2024)

An Evaluation Benchmark for Autoformalization in Lean4
di: Gulati, Aryan, et al.
Pubblicazione: (2024)

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

A Systematic Study of Compositional Syntactic Transformer Language Models
di: Zhao, Yida, et al.
Pubblicazione: (2025)

Learning to Self-Verify Makes Language Models Better Reasoners
di: Chen, Yuxin, et al.
Pubblicazione: (2026)

A Linguistics-Aware LLM Watermarking via Syntactic Predictability
di: Park, Shinwoo, et al.
Pubblicazione: (2025)

Reliable Evaluation and Benchmarks for Statement Autoformalization
di: Poiroux, Auguste, et al.
Pubblicazione: (2024)

Multi-objective Large Language Model Alignment with Hierarchical Experts
di: Li, Zhuo, et al.
Pubblicazione: (2025)

Consistency Analysis of Sentiment Predictions using Syntactic & Semantic Context Assessment Summarization (SSAS)
di: Daruwalla, Sharookh, et al.
Pubblicazione: (2026)

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

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

Syntactic Language Change in English and German: Metrics, Parsers, and Convergences
di: Chen, Yanran, et al.
Pubblicazione: (2024)

LASA: Language-Agnostic Semantic Alignment at the Semantic Bottleneck for LLM Safety
di: Yang, Junxiao, et al.
Pubblicazione: (2026)

Graph Neural Network Framework for Sentiment Analysis Using Syntactic Feature
di: Wu, Linxiao, et al.
Pubblicazione: (2024)

LOLgorithm: Integrating Semantic,Syntactic and Contextual Elements for Humor Classification
di: Khurana, Tanisha, et al.
Pubblicazione: (2024)

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

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

Generative Pretrained Structured Transformers: Unsupervised Syntactic Language Models at Scale
di: Hu, Xiang, et al.
Pubblicazione: (2024)

Toward Verifiable Misinformation Detection: A Multi-Tool LLM Agent Framework
di: Cui, Zikun, et al.
Pubblicazione: (2025)

On Verifiable Legal Reasoning: A Multi-Agent Framework with Formalized Knowledge Representations
di: Sadowski, Albert, et al.
Pubblicazione: (2025)

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
di: Liu, Xiaoyang, et al.
Pubblicazione: (2025)

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

Benchmarking Multi-National Value Alignment for Large Language Models
di: Shi, Weijie, et al.
Pubblicazione: (2025)

Syntactic Control of Language Models by Posterior Inference
di: Xefteri, Vicky, et al.
Pubblicazione: (2025)

Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
di: Agarwal, Anmol, et al.
Pubblicazione: (2026)

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

Simultaneous Multi-objective Alignment Across Verifiable and Non-verifiable Rewards
di: Shen, Yiran, et al.
Pubblicazione: (2025)

Empathy Level Alignment via Reinforcement Learning for Empathetic Response Generation
di: Ma, Hui, et al.
Pubblicazione: (2024)

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