Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization

Documenti analoghi

• In-context Learning with Retrieved Demonstrations for Language Models: A Survey
  di: Luo, Man, et al.
  Pubblicazione: (2024)
• DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
  di: Zhang, Meiru, et al.
  Pubblicazione: (2025)
• DS SERVE: A Framework for Efficient and Scalable Neural Retrieval
  di: Liu, Jinjian, et al.
  Pubblicazione: (2025)
• Learning to Retrieve from Agent Trajectories
  di: Zhou, Yuqi, et al.
  Pubblicazione: (2026)
• Retrieval Models Aren't Tool-Savvy: Benchmarking Tool Retrieval for Large Language Models
  di: Shi, Zhengliang, et al.
  Pubblicazione: (2025)