Buchumschlag

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lai, Junyu, Zhang, Jiakun, Xu, Shuo, Chen, Taolue, Wang, Zihang, Yang, Yao, Zhang, Jiarui, Cao, Chun, Xu, Jingwei
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence I.2.7
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines
von: Lai, Junyu, et al.
Veröffentlicht: (2024)

MeteoRA: Multiple-tasks Embedded LoRA for Large Language Models
von: Xu, Jingwei, et al.
Veröffentlicht: (2024)

Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey
von: Huang, Yunpeng, et al.
Veröffentlicht: (2023)

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving
von: Xu, Shuo, et al.
Veröffentlicht: (2026)

Generalizable LLM Learning of Graph Synthetic Data with Post-training Alignment
von: Zhang, Yizhuo, et al.
Veröffentlicht: (2025)

Synthia: Scalable Grounded Persona Generation from Social Media Data
von: Rahimzadeh, Vahid, et al.
Veröffentlicht: (2025)

SynSym: A Synthetic Data Generation Framework for Psychiatric Symptom Identification
von: Kang, Migyeong, et al.
Veröffentlicht: (2026)

PaperAudit-Bench: Benchmarking Error Detection in Research Papers for Critical Automated Peer Review
von: Tu, Songjun, et al.
Veröffentlicht: (2026)

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
von: Xu, Qiyuan, et al.
Veröffentlicht: (2026)

Automated Bug Triaging using Instruction-Tuned Large Language Models
von: Kiashemshaki, Kiana, et al.
Veröffentlicht: (2025)

Using LLM-Based Approaches to Enhance and Automate Topic Labeling
von: Khandelwal, Trishia
Veröffentlicht: (2025)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
von: Thompson, Kyle, et al.
Veröffentlicht: (2024)

Synthetic Voice Data for Automatic Speech Recognition in African Languages
von: DeRenzi, Brian, et al.
Veröffentlicht: (2025)

Curating Grounded Synthetic Data with Global Perspectives for Equitable AI
von: Törnquist, Elin, et al.
Veröffentlicht: (2024)

Can LLM Graph Reasoning Generalize beyond Pattern Memorization?
von: Zhang, Yizhuo, et al.
Veröffentlicht: (2024)

Toward Architecture-Aware Evaluation Metrics for LLM Agents
von: Souza, Débora, et al.
Veröffentlicht: (2026)

AsyncTLS: Efficient Generative LLM Inference with Asynchronous Two-level Sparse Attention
von: Hu, Yuxuan, et al.
Veröffentlicht: (2026)

LLM Unlearning on Noisy Forget Sets: A Study of Incomplete, Rewritten, and Watermarked Data
von: Wang, Changsheng, et al.
Veröffentlicht: (2025)

German Text Simplification: Finetuning Large Language Models with Semi-Synthetic Data
von: Klöser, Lars, et al.
Veröffentlicht: (2024)

KSHSeek: Data-Driven Approaches to Mitigating and Detecting Knowledge-Shortcut Hallucinations in Generative Models
von: Liu, Zhongxin, et al.
Veröffentlicht: (2025)

Named Entity Recognition for Address Extraction in Speech-to-Text Transcriptions Using Synthetic Data
von: Lajčinová, Bibiána, et al.
Veröffentlicht: (2024)

HACHIMI: Scalable and Controllable Student Persona Generation via Orchestrated Agents
von: Jiang, Yilin, et al.
Veröffentlicht: (2026)

Exploring LLM-based Verilog Code Generation with Data-Efficient Fine-Tuning and Testbench Automation
von: Chen, Mu-Chi, et al.
Veröffentlicht: (2026)

Understanding LLM Evaluator Behavior: A Structured Multi-Evaluator Framework for Merchant Risk Assessment
von: Wang, Liang, et al.
Veröffentlicht: (2026)

CRISP: Persistent Concept Unlearning via Sparse Autoencoders
von: Ashuach, Tomer, et al.
Veröffentlicht: (2025)

Automated CAD Modeling Sequence Generation from Text Descriptions via Transformer-Based Large Language Models
von: Liao, Jianxing, et al.
Veröffentlicht: (2025)

Text-Based Approaches to Item Difficulty Modeling in Large-Scale Assessments: A Systematic Review
von: Peters, Sydney, et al.
Veröffentlicht: (2025)

LUCID: LLM-Generated Utterances for Complex and Interesting Dialogues
von: Stacey, Joe, et al.
Veröffentlicht: (2024)

A Library of LLM Intrinsics for Retrieval-Augmented Generation
von: Danilevsky, Marina, et al.
Veröffentlicht: (2025)

SOCIA-Nabla: Textual Gradient Meets Multi-Agent Orchestration for Automated Simulator Generation
von: Hua, Yuncheng, et al.
Veröffentlicht: (2025)

SOCIA-$\nabla$: Textual Gradient Meets Multi-Agent Orchestration for Automated Simulator Generation
von: Hua, Yuncheng, et al.
Veröffentlicht: (2025)

SynDocDis: A Metadata-Driven Framework for Generating Synthetic Physician Discussions Using Large Language Models
von: Rubinstein, Beny, et al.
Veröffentlicht: (2026)

"The Data Says Otherwise"-Towards Automated Fact-checking and Communication of Data Claims
von: Fu, Yu, et al.
Veröffentlicht: (2024)

Leveraging Retrieval Augmented Generative LLMs For Automated Metadata Description Generation to Enhance Data Catalogs
von: Singh, Mayank, et al.
Veröffentlicht: (2025)

ToolWeaver: Weaving Collaborative Semantics for Scalable Tool Use in Large Language Models
von: Fang, Bowen, et al.
Veröffentlicht: (2026)

Select or Project? Evaluating Lower-dimensional Vectors for LLM Training Data Explanations
von: Hinterleitner, Lukas, et al.
Veröffentlicht: (2026)

Ada-MK: Adaptive MegaKernel Optimization via Automated DAG-based Search for LLM Inference
von: Dong, Wenxin, et al.
Veröffentlicht: (2026)

Pipeline and Dataset Generation for Automated Fact-checking in Almost Any Language
von: Drchal, Jan, et al.
Veröffentlicht: (2023)

Clinical Document Corpora -- Real Ones, Translated and Synthetic Substitutes, and Assorted Domain Proxies: A Survey of Diversity in Corpus Design, with Focus on German Text Data
von: Hahn, Udo
Veröffentlicht: (2024)

Applying Cognitive Design Patterns to General LLM Agents
von: Wray, Robert E., et al.
Veröffentlicht: (2025)