Lukas Müller
lukas-m
·
AI & ML interests
ColBERT-style retrieval, reasoning benchmarks, theorem proving :)
Recent Activity
liked a Space about 13 hours ago
tejasgaikwad16092002/LLM-Reasoning-Router liked a Space about 13 hours ago
PastaPastaPasta/llm-chess-puzzle-reasoning upvoted a paper about 13 hours ago
Sensorimotor Alignment: A Platonic Proxy for Embodied Policy SuccessOrganizations
None yet