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