Imagen de Portada

LemmaHead: RAG Assisted Proof Generation Using Large Language Models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Yang, Tianbo, Yan, Mingqi, Zhao, Hongyi, Yang, Tianshuo
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Computation and Language Information Retrieval
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SimRAG: Self-Improving Retrieval-Augmented Generation for Adapting Large Language Models to Specialized Domains
por: Xu, Ran, et al.
Publicado: (2024)

Utilizing Large Language Models for Information Extraction from Real Estate Transactions
por: Zhao, Yu, et al.
Publicado: (2024)

Retrieval-Augmented Generation with Graphs (GraphRAG)
por: Han, Haoyu, et al.
Publicado: (2024)

AT-RAG: An Adaptive RAG Model Enhancing Query Efficiency with Topic Filtering and Iterative Reasoning
por: Rezaei, Mohammad Reza, et al.
Publicado: (2024)

LANE: Logic Alignment of Non-tuning Large Language Models and Online Recommendation Systems for Explainable Reason Generation
por: Zhao, Hongke, et al.
Publicado: (2024)

Question-Answer Extraction from Scientific Articles Using Knowledge Graphs and Large Language Models
por: Azarbonyad, Hosein, et al.
Publicado: (2025)

Identifying Reasons for Contraceptive Switching from Real-World Data Using Large Language Models
por: Miao, Brenda Y., et al.
Publicado: (2024)

LawLLM: Law Large Language Model for the US Legal System
por: Shu, Dong, et al.
Publicado: (2024)

Protecting Copyrighted Material with Unique Identifiers in Large Language Model Training
por: Zhao, Shuai, et al.
Publicado: (2024)

BadRAG: Identifying Vulnerabilities in Retrieval Augmented Generation of Large Language Models
por: Xue, Jiaqi, et al.
Publicado: (2024)

LegalRAG: A Hybrid RAG System for Multilingual Legal Information Retrieval
por: Kabir, Muhammad Rafsan, et al.
Publicado: (2025)

UltRAG: a Universal Simple Scalable Recipe for Knowledge Graph RAG
por: Georgiev, Dobrik, et al.
Publicado: (2026)

Large Language Models are Effective Text Rankers with Pairwise Ranking Prompting
por: Qin, Zhen, et al.
Publicado: (2023)

Stochastic RAG: End-to-End Retrieval-Augmented Generation through Expected Utility Maximization
por: Zamani, Hamed, et al.
Publicado: (2024)

NANOGPT: A Query-Driven Large Language Model Retrieval-Augmented Generation System for Nanotechnology Research
por: Chandrasekhar, Achuth, et al.
Publicado: (2025)

Simple Is Effective: The Roles of Graphs and Large Language Models in Knowledge-Graph-Based Retrieval-Augmented Generation
por: Li, Mufei, et al.
Publicado: (2024)

Large Language Model Can Be a Foundation for Hidden Rationale-Based Retrieval
por: Ji, Luo, et al.
Publicado: (2024)

TableRAG: Million-Token Table Understanding with Language Models
por: Chen, Si-An, et al.
Publicado: (2024)

Atomic Information Flow: A Network Flow Model for Tool Attributions in RAG Systems
por: Gao, James, et al.
Publicado: (2026)

Make Large Language Model a Better Ranker
por: Chao, Wen-Shuo, et al.
Publicado: (2024)

Integrating Domain Knowledge into Large Language Models for Enhanced Fashion Recommendations
por: Shi, Zhan, et al.
Publicado: (2025)

SLMRec: Distilling Large Language Models into Small for Sequential Recommendation
por: Xu, Wujiang, et al.
Publicado: (2024)

Integrating Large Language Models with Graphical Session-Based Recommendation
por: Guo, Naicheng, et al.
Publicado: (2024)

RAGSys: Item-Cold-Start Recommender as RAG System
por: Contal, Emile, et al.
Publicado: (2024)

Enhancing Q&A Text Retrieval with Ranking Models: Benchmarking, fine-tuning and deploying Rerankers for RAG
por: Moreira, Gabriel de Souza P., et al.
Publicado: (2024)

Graph Chain-of-Thought: Augmenting Large Language Models by Reasoning on Graphs
por: Jin, Bowen, et al.
Publicado: (2024)

The Chronicles of RAG: The Retriever, the Chunk and the Generator
por: Finardi, Paulo, et al.
Publicado: (2024)

Accelerating Retrieval-Augmented Language Model Serving with Speculation
por: Zhang, Zhihao, et al.
Publicado: (2024)

METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation
por: Ray, Siddhant, et al.
Publicado: (2024)

Language Models As Semantic Indexers
por: Jin, Bowen, et al.
Publicado: (2023)

D2S-FLOW: Automated Parameter Extraction from Datasheets for SPICE Model Generation Using Large Language Models
por: Chen, Hong Cai, et al.
Publicado: (2025)

Scalable Identification and Prioritization of Requisition-Specific Personal Competencies Using Large Language Models
por: Li, Wanxin, et al.
Publicado: (2026)

Supply Chain Network Extraction and Entity Classification Leveraging Large Language Models
por: Liu, Tong, et al.
Publicado: (2024)

MacRAG: Compress, Slice, and Scale-up for Multi-Scale Adaptive Context RAG
por: Lim, Woosang, et al.
Publicado: (2025)

SPARC-RAG: Adaptive Sequential-Parallel Scaling with Context Management for Retrieval-Augmented Generation
por: Yang, Yuxin, et al.
Publicado: (2026)

Multi-task retriever fine-tuning for domain-specific and efficient RAG
por: Béchard, Patrice, et al.
Publicado: (2025)

How do Large Language Models Understand Relevance? A Mechanistic Interpretability Perspective
por: Liu, Qi, et al.
Publicado: (2025)

CoRAG: Collaborative Retrieval-Augmented Generation
por: Muhamed, Aashiq, et al.
Publicado: (2025)

RAG over Tables: Hierarchical Memory Index, Multi-Stage Retrieval, and Benchmarking
por: Zou, Jiaru, et al.
Publicado: (2025)

Lightweight Query Routing for Adaptive RAG: A Baseline Study on RAGRouter-Bench
por: Bansal, Prakhar, et al.
Publicado: (2026)