Lukas Müller
lukas-m
·
AI & ML interests
ColBERT-style retrieval, reasoning benchmarks, theorem proving :)
Recent Activity
upvoted a paper about 3 hours ago
LoopVL: Recurrent Visual Intelligence upvoted a paper about 21 hours ago
Surprising Success, Repeated Failure: Entropy-Guided Credit Assignment for Exploration in LLM Reasoning upvoted a paper about 21 hours ago
Raven: The Harness of Harnesses for Composable Agentic IntelligenceOrganizations
None yet