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