Image de couverture de livre

A Semantic Search Engine for Mathlib4

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gao, Guoxiong, Ju, Haocheng, Jiang, Jiedong, Qin, Zihan, Dong, Bin
Format:	Preprint
Publié:	2024
Sujets:	Information Retrieval Machine Learning Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Matlas: A Semantic Search Engine for Mathematics
par: Ju, Haocheng, et autres
Publié: (2026)

Herald: A Natural Language Annotated Lean 4 Dataset
par: Gao, Guoxiong, et autres
Publié: (2024)

MIRB: Mathematical Information Retrieval Benchmark
par: Ju, Haocheng, et autres
Publié: (2025)

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
par: Park, Young Bin
Publié: (2026)

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
par: Shen, Ziju, et autres
Publié: (2025)

Large language models as oracles for instantiating ontologies with domain-specific knowledge
par: Ciatto, Giovanni, et autres
Publié: (2024)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
par: Liu, Xinyu, et autres
Publié: (2026)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
par: Xie, Zixuan, et autres
Publié: (2026)

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving
par: Gao, Guoxiong, et autres
Publié: (2026)

FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
par: Jiang, Jiedong, et autres
Publié: (2025)

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
par: Allemang, Dean, et autres
Publié: (2024)

Ontological foundations for contrastive explanatory narration of robot plans
par: Olivares-Alarcos, Alberto, et autres
Publié: (2025)

NLP-Powered Repository and Search Engine for Academic Papers: A Case Study on Cyber Risk Literature with CyLit
par: Zhang, Linfeng, et autres
Publié: (2024)

VeriFact: Verifying Facts in LLM-Generated Clinical Text with Electronic Health Records
par: Chung, Philip, et autres
Publié: (2025)

Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning
par: Mendez-Lucero, Miguel Angel, et autres
Publié: (2024)

Generative Engine Optimization: How to Dominate AI Search
par: Chen, Mahe, et autres
Publié: (2025)

LOCALINTEL: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge
par: Mitra, Shaswata, et autres
Publié: (2024)

RLRF: Competitive Search Agent Design via Reinforcement Learning from Ranker Feedback
par: Mordo, Tommy, et autres
Publié: (2025)

Semantic Retrieval for Product Search in E-Commerce
par: Kothari, Nikhil, et autres
Publié: (2026)

When Search Engine Services meet Large Language Models: Visions and Challenges
par: Xiong, Haoyi, et autres
Publié: (2024)

Domain Adaptation of Multilingual Semantic Search -- Literature Review
par: Bringmann, Anna, et autres
Publié: (2024)

Open Deep Search: Democratizing Search with Open-source Reasoning Agents
par: Alzubi, Salaheddin, et autres
Publié: (2025)

Vision Search Assistant: Empower Vision-Language Models as Multimodal Search Engines
par: Zhang, Zhixin, et autres
Publié: (2024)

GEO: Generative Engine Optimization
par: Aggarwal, Pranjal, et autres
Publié: (2023)

Semantic Search At LinkedIn
par: Borisyuk, Fedor, et autres
Publié: (2026)

Semantic In-Domain Product Identification for Search Queries
par: Sharma, Sanat, et autres
Publié: (2024)

Applying Embedding-Based Retrieval to Airbnb Search
par: Abdool, Mustafa, et autres
Publié: (2026)

GaiaFlow: Semantic-Guided Diffusion Tuning for Carbon-Frugal Search
par: Fu, Rong, et autres
Publié: (2026)

Chain of Retrieval: Multi-Aspect Iterative Search Expansion and Post-Order Search Aggregation for Full Paper Retrieval
par: Park, Sangwoo, et autres
Publié: (2025)

FullRecall: A Semantic Search-Based Ranking Approach for Maximizing Recall in Patent Retrieval
par: Ali, Amna, et autres
Publié: (2025)

Siamese Content-based Search Engine for a More Transparent Skin and Breast Cancer Diagnosis through Histological Imaging
par: Tabatabaei, Zahra, et autres
Publié: (2024)

Search Arena: Analyzing Search-Augmented LLMs
par: Miroyan, Mihran, et autres
Publié: (2025)

LeanExplore: A search engine for Lean 4 declarations
par: Asher, Justin
Publié: (2025)

Towards Scalable Semantic Representation for Recommendation
par: Zhang, Taolin, et autres
Publié: (2024)

Path-Constrained Retrieval: A Structural Approach to Reliable LLM Agent Reasoning Through Graph-Scoped Semantic Search
par: Oladokun, Joseph
Publié: (2025)

Scaling Up Efficient Small Language Models Serving and Deployment for Semantic Job Search
par: Behdin, Kayhan, et autres
Publié: (2025)

AceSearcher: Bootstrapping Reasoning and Search for LLMs via Reinforced Self-Play
par: Xu, Ran, et autres
Publié: (2025)

The Network Structure of Mathlib
par: Li, Xinze, et autres
Publié: (2026)

Content-based Recommendation Engine for Video Streaming Platform
par: Khadka, Puskal, et autres
Publié: (2023)

Search of the Library Information Collection.
Publié: (1972)