Buchumschlag

Improving Lean4 Autoformalization via Cycle Consistency Fine-tuning

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Shebzukhov, Arsen
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Computation and Language
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Process-Driven Autoformalization in Lean 4
von: Lu, Jianqiao, et al.
Veröffentlicht: (2024)

Consistent Autoformalization for Constructing Mathematical Libraries
von: Zhang, Lan, et al.
Veröffentlicht: (2024)

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
von: Li, Zenan, et al.
Veröffentlicht: (2024)

Improving the Diproche CNL through Autoformalization via Large Language Models
von: Carl, Merlin
Veröffentlicht: (2023)

MMFormalizer: Multimodal Autoformalization in the Wild
von: Xiong, Jing, et al.
Veröffentlicht: (2026)

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

Monotonic Reference-Free Refinement for Autoformalization
von: Zhang, Lan, et al.
Veröffentlicht: (2026)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
von: Xiong, Jing, et al.
Veröffentlicht: (2026)

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

MASA: LLM-Driven Multi-Agent Systems for Autoformalization
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

Fine-tuning Large Language Models for Improving Factuality in Legal Question Answering
von: Hu, Yinghao, et al.
Veröffentlicht: (2025)

Improving Text Embeddings for Smaller Language Models Using Contrastive Fine-tuning
von: Ukarapol, Trapoom, et al.
Veröffentlicht: (2024)

Fine-tuning with RAG for Improving LLM Learning of New Skills
von: Ibrahim, Humaid, et al.
Veröffentlicht: (2025)

Towards Autoformalization of LLM-generated Outputs for Requirement Verification
von: Gupte, Mihir, et al.
Veröffentlicht: (2025)

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
von: Chen, Guoxin, et al.
Veröffentlicht: (2025)

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions
von: Zhang, Lan, et al.
Veröffentlicht: (2025)

ACL: Aligned Contrastive Learning Improves BERT and Multi-exit BERT Fine-tuning
von: Li, Liz, et al.
Veröffentlicht: (2026)

Memento: Fine-tuning LLM Agents without Fine-tuning LLMs
von: Zhou, Huichi, et al.
Veröffentlicht: (2025)

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

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

Improving Sampling Methods for Fine-tuning SentenceBERT in Text Streams
von: Garcia, Cristiano Mesquita, et al.
Veröffentlicht: (2024)

PILLOW: Enhancing Efficient Instruction Fine-tuning via Prompt Matching
von: Qi, Zhenting, et al.
Veröffentlicht: (2023)

KELPS: A Framework for Verified Multi-Language Autoformalization via Semantic-Syntactic Alignment
von: Zhang, Jiyao, et al.
Veröffentlicht: (2025)

Be Careful When Fine-tuning On Open-Source LLMs: Your Fine-tuning Data Could Be Secretly Stolen!
von: Zhang, Zhexin, et al.
Veröffentlicht: (2025)

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

Democratizing Large Language Models via Personalized Parameter-Efficient Fine-tuning
von: Tan, Zhaoxuan, et al.
Veröffentlicht: (2024)

As Simple as Fine-tuning: LLM Alignment via Bidirectional Negative Feedback Loss
von: Mao, Xin, et al.
Veröffentlicht: (2024)

Advancing Parameter Efficiency in Fine-tuning via Representation Editing
von: Wu, Muling, et al.
Veröffentlicht: (2024)

Fine-tuning Done Right in Model Editing
von: Yang, Wanli, et al.
Veröffentlicht: (2025)

Panacea: Mitigating Harmful Fine-tuning for Large Language Models via Post-fine-tuning Perturbation
von: Wang, Yibo, et al.
Veröffentlicht: (2025)

SCORE: Self-supervised Correspondence Fine-tuning for Improved Content Representations
von: Meghanani, Amit, et al.
Veröffentlicht: (2024)

Fine-tuned Large Language Models (LLMs): Improved Prompt Injection Attacks Detection
von: Rahman, Md Abdur, et al.
Veröffentlicht: (2024)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
von: Li, Jinzheng, et al.
Veröffentlicht: (2026)

RLSF: Fine-tuning LLMs via Symbolic Feedback
von: Jha, Piyush, et al.
Veröffentlicht: (2024)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
von: Moore, Hayden, et al.
Veröffentlicht: (2025)

Fine-tuning Whisper for Pashto ASR: strategies and scale
von: Rahman, Hanif
Veröffentlicht: (2026)

Memorization of Named Entities in Fine-tuned BERT Models
von: Diera, Andor, et al.
Veröffentlicht: (2022)

Fine-tuning Large Language Models with Sequential Instructions
von: Hu, Hanxu, et al.
Veröffentlicht: (2024)

Sparse Matrix in Large Language Model Fine-tuning
von: He, Haoze, et al.
Veröffentlicht: (2024)