Lukas Müller
lukas-m
·
AI & ML interests
ColBERT-style retrieval, reasoning benchmarks, theorem proving :)
Recent Activity
liked a dataset 1 day ago
open-llm-leaderboard-old/details_alexredna__Tukan-1.1B-Chat-reasoning-sft-COLA liked a dataset 1 day ago
Josephgflowers/OpenOrca-Step-by-step-reasoning upvoted a paper 1 day ago
AutoGUIWorld: Image Generators as Visual World Models for GUI AgentOrganizations
None yet