lorntz's picture

lorntz

lorn666

·

AI & ML interests

None yet

Recent Activity

upvoted a paper 1 day ago

Beyond Semantic Similarity: Rethinking Retrieval for Agentic Search via Direct Corpus Interaction

updated a dataset 6 months ago

AI4Math/IneqMath

updated a Space 7 months ago

AI4Math/IneqMath-Leaderboard

View all activity

Organizations

upvoted a paper 1 day ago

Beyond Semantic Similarity: Rethinking Retrieval for Agentic Search via Direct Corpus Interaction

Paper • 2605.05242 • Published 7 days ago • 65

upvoted a paper 11 months ago

Solving Inequality Proofs with Large Language Models

Paper • 2506.07927 • Published Jun 9, 2025 • 20