LeanExplore: A search engine for Lean 4 declarations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Asher, Justin
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Artificial Intelligence Computation and Language Information Retrieval Machine Learning Logic in Computer Science I.2.6; H.3.3; I.2.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Improving the Performance of Sequential Recommendation Systems with an Extended Large Language Model
by: Choi, Sinnyum, et al.
Published: (2025)

PatenTEB: A Comprehensive Benchmark and Model Family for Patent Text Embedding
by: Ayaou, Iliass, et al.
Published: (2025)

Real-Time RAG for the Identification of Supply Chain Vulnerabilities
by: Ponnock, Jesse, et al.
Published: (2025)

Engineering RAG Systems for Real-World Applications: Design, Development, and Evaluation
by: Hasan, Md Toufique, et al.
Published: (2025)

Learning to Detect Relevant Contexts and Knowledge for Response Selection in Retrieval-based Dialogue Systems
by: Hua, Kai, et al.
Published: (2025)

Mind the Gap: A Generalized Approach for Cross-Modal Embedding Alignment
by: Yadav, Arihan, et al.
Published: (2024)

LENS: A Staged Design for Interaction Granularityin Sequential CTR Prediction
by: Wang, Yuan, et al.
Published: (2026)

Beyond the Flat Sequence: Hierarchical and Preference-Aware Generative Recommendations
by: Chen, Zerui, et al.
Published: (2026)

DEUCE: Dual-diversity Enhancement and Uncertainty-awareness for Cold-start Active Learning
by: Guo, Jiaxin, et al.
Published: (2025)

Hard Negative Mining for Domain-Specific Retrieval in Enterprise Systems
by: Meghwani, Hansa, et al.
Published: (2025)

FinGround: Detecting and Grounding Financial Hallucinations via Atomic Claim Verification
by: Guo, Dongxin, et al.
Published: (2026)

What Matters in LLM-Based Feature Extractor for Recommender? A Systematic Analysis of Prompts, Models, and Adaptation
by: Shi, Kainan, et al.
Published: (2025)

FinQAPT: Empowering Financial Decisions with End-to-End LLM-driven Question Answering Pipeline
by: Singh, Kuldeep, et al.
Published: (2024)

LLM Reasoning for Cold-Start Item Recommendation
by: Li, Shijun, et al.
Published: (2025)

CogRec: A Cognitive Recommender Agent Fusing Large Language Models and Soar for Explainable Recommendation
by: Hu, Jiaxin, et al.
Published: (2025)

Counterfactual Evaluation of Ads Ranking Models through Domain Adaptation
by: Radwan, Mohamed A., et al.
Published: (2024)

GTR-Mamba: Geometry-to-Tangent Routing Mamba for Hyperbolic POI Recommendation
by: Li, Zhuoxuan, et al.
Published: (2025)

ComplianceNLP: Knowledge-Graph-Augmented RAG for Multi-Framework Regulatory Gap Detection
by: Guo, Dongxin, et al.
Published: (2026)

SPARTA: Scalable and Principled Benchmark of Tree-Structured Multi-hop QA over Text and Tables
by: Park, Sungho, et al.
Published: (2026)

NSFL: A Post-Training Neuro-Symbolic Fuzzy Logic Framework for Boolean Operators in Neural Embeddings
by: Vexler, Vladi, et al.
Published: (2026)

Retrieval Augmented Thought Process for Private Data Handling in Healthcare
by: Pouplin, Thomas, et al.
Published: (2024)

SERP Interference Network and Its Applications in Search Advertising
by: Jain, Purak, et al.
Published: (2025)

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
by: Jana, Prithwish, et al.
Published: (2025)

PRECEPT: Planning Resilience via Experience, Context Engineering & Probing Trajectories A Unified Framework for Test-Time Adaptation with Compositional Rule Learning and Pareto-Guided Prompt Evolution
by: Shahmansoori, Arash
Published: (2026)

Combating data scarcity in recommendation services: Integrating cognitive types of VARK and neural network technologies (LLM)
by: Zmanovskii, Nikita
Published: (2026)

PRISM: LLM-Guided Semantic Clustering for High-Precision Topics
by: Douglas, Connor, et al.
Published: (2026)

LLM-as-a-Judge: Rapid Evaluation of Legal Document Recommendation for Retrieval-Augmented Generation
by: Pradhan, Anu, et al.
Published: (2025)

CourseTimeQA: A Lecture-Video Benchmark and a Latency-Constrained Cross-Modal Fusion Method for Timestamped QA
by: Kovalev, Vsevolod, et al.
Published: (2025)

Fine-Grained Embedding Dimension Optimization During Training for Recommender Systems
by: Luo, Qinyi, et al.
Published: (2024)

UniRec: A Dual Enhancement of Uniformity and Frequency in Sequential Recommendations
by: Liu, Yang, et al.
Published: (2024)

No More Tuning: Prioritized Multi-Task Learning with Lagrangian Differential Multiplier Methods
by: Cheng, Zhengxing, et al.
Published: (2024)

Qtok: A Comprehensive Framework for Evaluating Multilingual Tokenizer Quality in Large Language Models
by: Chelombitko, Iaroslav, et al.
Published: (2024)

Task Memory Engine: Spatial Memory for Robust Multi-Step LLM Agents
by: Ye, Ye
Published: (2025)

MoVoC: Morphology-Aware Subword Construction for Geez Script Languages
by: Teklehaymanot, Hailay Kidu, et al.
Published: (2025)

BudgetMem: Learning Selective Memory Policies for Cost-Efficient Long-Context Processing in Language Models
by: Alla, Chandra Vamsi Krishna, et al.
Published: (2025)

TrueReason: An Exemplar Personalised Learning System Integrating Reasoning with Foundational Models
by: Bulathwela, Sahan, et al.
Published: (2025)

Post-Training Fairness Control: A Single-Train Framework for Dynamic Fairness in Recommendation
by: Chen, Weixin, et al.
Published: (2026)

Low-pass Personalized Subgraph Federated Recommendation
by: Sim, Wooseok, et al.
Published: (2026)

SuperLocalMemory V3: Information-Geometric Foundations for Zero-LLM Enterprise Agent Memory
by: Bhardwaj, Varun Pratap
Published: (2026)

DeepTaxon: An Interpretable Retrieval-Augmented Multimodal Framework for Unified Species Identification and Discovery
by: Wang, Jiawei, et al.
Published: (2026)