Lean Finder: Semantic Search for Mathlib That Understands User Intents

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lu, Jialin, Emond, Kye, Yang, Kaiyu, Chaudhuri, Swarat, Sun, Weiran, Chen, Wuyang
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Machine Learning Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
von: Lu, Jialin, et al.
Veröffentlicht: (2026)

PDE-Controller: LLMs for Autoformalization and Reasoning of PDEs
von: Soroco, Mauricio, et al.
Veröffentlicht: (2025)

Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models
von: Wen, Yeming, et al.
Veröffentlicht: (2024)

Batched Low-Rank Adaptation of Foundation Models
von: Wen, Yeming, et al.
Veröffentlicht: (2023)

Neurosymbolic Grounding for Compositional World Models
von: Sehgal, Atharva, et al.
Veröffentlicht: (2023)

Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation
von: Jain, Abhinav, et al.
Veröffentlicht: (2024)

Formal Mathematical Reasoning: A New Frontier in AI
von: Yang, Kaiyu, et al.
Veröffentlicht: (2024)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
von: Song, Peiyang, et al.
Veröffentlicht: (2024)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
von: Liu, Xinyu, et al.
Veröffentlicht: (2026)

Understanding Grokking Through A Robustness Viewpoint
von: Tan, Zhiquan, et al.
Veröffentlicht: (2023)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2025)

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4
von: Kripner, Matěj, et al.
Veröffentlicht: (2025)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
von: Xie, Zixuan, et al.
Veröffentlicht: (2026)

An In-Context Learning Agent for Formal Theorem-Proving
von: Thakur, Amitayush, et al.
Veröffentlicht: (2023)

Assembling the Mind's Mosaic: Towards EEG Semantic Intent Decoding
von: Li, Jiahe, et al.
Veröffentlicht: (2026)

PathFinder: Advancing Path Loss Prediction for Single-to-Multi-Transmitter Scenario
von: Zhong, Zhijie, et al.
Veröffentlicht: (2025)

Symbolic Regression with a Learned Concept Library
von: Grayeli, Arya, et al.
Veröffentlicht: (2024)

A Semantic Search Engine for Mathlib4
von: Gao, Guoxiong, et al.
Veröffentlicht: (2024)

Capturing and Anticipating User Intents in Data Analytics via Knowledge Graphs
von: Pons, Gerard, et al.
Veröffentlicht: (2024)

Towards LLM-guided Efficient and Interpretable Multi-linear Tensor Network Rank Selection
von: Iacovides, Giorgos, et al.
Veröffentlicht: (2024)

A Semi-supervised Generative Model for Incomplete Multi-view Data Integration with Missing Labels
von: Shen, Yiyang, et al.
Veröffentlicht: (2025)

IntentGrasp: A Comprehensive Benchmark for Intent Understanding
von: Yin, Yuwei, et al.
Veröffentlicht: (2026)

Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
von: Li, Yuxin, et al.
Veröffentlicht: (2025)

IntentRL: Training Proactive User-intent Agents for Open-ended Deep Research via Reinforcement Learning
von: Luo, Haohao, et al.
Veröffentlicht: (2026)

Semantic Search At LinkedIn
von: Borisyuk, Fedor, et al.
Veröffentlicht: (2026)

Reading with Intent -- Neutralizing Intent
von: Reichman, Benjamin, et al.
Veröffentlicht: (2025)

UserBench: An Interactive Gym Environment for User-Centric Agents
von: Qian, Cheng, et al.
Veröffentlicht: (2025)

Effective Large Language Model Debugging with Best-first Tree Search
von: Song, Jialin, et al.
Veröffentlicht: (2024)

IntPro: A Proxy Agent for Context-Aware Intent Understanding via Retrieval-conditioned Inference
von: Liu, Guanming, et al.
Veröffentlicht: (2026)

Disentanglement of Variations with Multimodal Generative Modeling
von: Zhang, Yijie, et al.
Veröffentlicht: (2025)

Hybrid Focal and Full-Range Attention Based Graph Transformers
von: Zhu, Minhong, et al.
Veröffentlicht: (2023)

UserRL: Training Interactive User-Centric Agent via Reinforcement Learning
von: Qian, Cheng, et al.
Veröffentlicht: (2025)

DepCap: Adaptive Block-Wise Parallel Decoding for Efficient Diffusion LM Inference
von: Xia, Xiang, et al.
Veröffentlicht: (2026)

TFBS-Finder: Deep Learning-based Model with DNABERT and Convolutional Networks to Predict Transcription Factor Binding Sites
von: Ghosh, Nimisha, et al.
Veröffentlicht: (2025)

LTL-Constrained Policy Optimization with Cycle Experience Replay
von: Shah, Ameesh, et al.
Veröffentlicht: (2024)

Semantic Intent Fragmentation: A Single-Shot Compositional Attack on Multi-Agent AI Pipelines
von: Ahad, Tanzim, et al.
Veröffentlicht: (2026)

Breaking Model Lock-in: Cost-Efficient Zero-Shot LLM Routing via a Universal Latent Space
von: Yan, Cheng, et al.
Veröffentlicht: (2026)

CombiMOTS: Combinatorial Multi-Objective Tree Search for Dual-Target Molecule Generation
von: Southiratn, Thibaud, et al.
Veröffentlicht: (2026)

UI-JEPA: Towards Active Perception of User Intent through Onscreen User Activity
von: Fu, Yicheng, et al.
Veröffentlicht: (2024)

Estimating LLM Consistency: A User Baseline vs Surrogate Metrics
von: Wu, Xiaoyuan, et al.
Veröffentlicht: (2025)