Cover Image

Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tao, Yicheng, Liu, Haotian, Wang, Shanwen, Xu, Hongteng
Format:	Preprint
Published:	2025
Subjects:	Computation and Language Artificial Intelligence Information Retrieval
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

In-context Learning with Retrieved Demonstrations for Language Models: A Survey
by: Luo, Man, et al.
Published: (2024)

DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
by: Zhang, Meiru, et al.
Published: (2025)

DS SERVE: A Framework for Efficient and Scalable Neural Retrieval
by: Liu, Jinjian, et al.
Published: (2025)

Learning to Retrieve from Agent Trajectories
by: Zhou, Yuqi, et al.
Published: (2026)

Retrieval Models Aren't Tool-Savvy: Benchmarking Tool Retrieval for Large Language Models
by: Shi, Zhengliang, et al.
Published: (2025)

Improving Tool Retrieval by Leveraging Large Language Models for Query Generation
by: Kachuee, Mohammad, et al.
Published: (2024)

RouteRAG: Efficient Retrieval-Augmented Generation from Text and Graph via Reinforcement Learning
by: Guo, Yucan, et al.
Published: (2025)

A Diverse and Effective Retrieval-Based Debt Collection System with Expert Knowledge
by: Luo, Jiaming, et al.
Published: (2025)

List-aware Reranking-Truncation Joint Model for Search and Retrieval-augmented Generation
by: Xu, Shicheng, et al.
Published: (2024)

Neural Retrievers are Biased Towards LLM-Generated Content
by: Dai, Sunhao, et al.
Published: (2023)

Benchmarking Information Retrieval Models on Complex Retrieval Tasks
by: Killingback, Julian, et al.
Published: (2025)

Autofocus Retrieval: An Effective Pipeline for Multi-Hop Question Answering With Semi-Structured Knowledge
by: Boer, Derian, et al.
Published: (2025)

Bridge-RAG: An Abstract Bridge Tree Based Retrieval Augmented Generation Algorithm
by: Li, Zihang, et al.
Published: (2026)

RuleRAG: Rule-Guided Retrieval-Augmented Generation with Language Models for Question Answering
by: Chen, Zhongwu, et al.
Published: (2024)

Efficient and Versatile Model for Multilingual Information Retrieval of Islamic Text: Development and Deployment in Real-World Scenarios
by: Pavlova, Vera, et al.
Published: (2025)

Grounding Language Model with Chunking-Free In-Context Retrieval
by: Qian, Hongjin, et al.
Published: (2024)

Thinking Forward and Backward: Multi-Objective Reinforcement Learning for Retrieval-Augmented Reasoning
by: Wei, Wenda, et al.
Published: (2025)

Tug-of-War Between Knowledge: Exploring and Resolving Knowledge Conflicts in Retrieval-Augmented Language Models
by: Jin, Zhuoran, et al.
Published: (2024)

ProRAG: Process-Supervised Reinforcement Learning for Retrieval-Augmented Generation
by: Wang, Zhao, et al.
Published: (2026)

E2Rank: Your Text Embedding can Also be an Effective and Efficient Listwise Reranker
by: Liu, Qi, et al.
Published: (2025)

Modular Representation Compression: Adapting LLMs for Efficient and Effective Recommendations
by: Xi, Yunjia, et al.
Published: (2026)

DIRAS: Efficient LLM Annotation of Document Relevance in Retrieval Augmented Generation
by: Ni, Jingwei, et al.
Published: (2024)

Generative Retrieval and Alignment Model: A New Paradigm for E-commerce Retrieval
by: Pang, Ming, et al.
Published: (2025)

Self-Retrieval: End-to-End Information Retrieval with One Large Language Model
by: Tang, Qiaoyu, et al.
Published: (2024)

Generative Language Models with Retrieval Augmented Generation for Automated Short Answer Scoring
by: Wang, Zifan, et al.
Published: (2024)

Unleashing the Power of LLMs in Dense Retrieval with Query Likelihood Modeling
by: Zhang, Hengran, et al.
Published: (2025)

Unsupervised Information Refinement Training of Large Language Models for Retrieval-Augmented Generation
by: Xu, Shicheng, et al.
Published: (2024)

Hierarchical Retrieval-Augmented Generation Model with Rethink for Multi-hop Question Answering
by: Zhang, Xiaoming, et al.
Published: (2024)

Think Before You Retrieve: Learning Test-Time Adaptive Search with Small Language Models
by: Vijay, Supriti, et al.
Published: (2025)

InPars-Light: Cost-Effective Unsupervised Training of Efficient Rankers
by: Boytsov, Leonid, et al.
Published: (2023)

SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing
by: Hakim, Safayat Bin, et al.
Published: (2025)

OPERA: Online Data Pruning for Efficient Retrieval Model Adaptation
by: Fang, Haoyang, et al.
Published: (2026)

Utility-Focused LLM Annotation for Retrieval and Retrieval-Augmented Generation
by: Zhang, Hengran, et al.
Published: (2025)

Bias and Unfairness in Information Retrieval Systems: New Challenges in the LLM Era
by: Dai, Sunhao, et al.
Published: (2024)

LLM Alignment as Retriever Optimization: An Information Retrieval Perspective
by: Jin, Bowen, et al.
Published: (2025)

xRAG: Extreme Context Compression for Retrieval-augmented Generation with One Token
by: Cheng, Xin, et al.
Published: (2024)

BRIGHT: A Realistic and Challenging Benchmark for Reasoning-Intensive Retrieval
by: Su, Hongjin, et al.
Published: (2024)

Rethinking Soft Compression in Retrieval-Augmented Generation: A Query-Conditioned Selector Perspective
by: Liu, Yunhao, et al.
Published: (2026)

Improving Medical Reasoning through Retrieval and Self-Reflection with Retrieval-Augmented Large Language Models
by: Jeong, Minbyul, et al.
Published: (2024)

Streamlining Social Media Information Retrieval for COVID-19 Research with Deep Learning
by: Hua, Yining, et al.
Published: (2023)