Lukas Müller
lukas-m
·
AI & ML interests
ColBERT-style retrieval, reasoning benchmarks, theorem proving :)
Recent Activity
upvoted a paper about 8 hours ago
LoopVL: Recurrent Visual Intelligence upvoted a paper 1 day ago
Raven: The Harness of Harnesses for Composable Agentic IntelligenceOrganizations
None yet