Lukas Müller
lukas-m
·
AI & ML interests
ColBERT-style retrieval, reasoning benchmarks, theorem proving :)
Recent Activity
liked a dataset about 11 hours ago
ticoAg/llm-complex-reasoning-train-qwen2-72b-instruct-correct liked a dataset about 11 hours ago
xTayyub/High-Quality-Synthetic-Python-Dataset-with-Reasoning-Traces-Chain-of-Thought-for-LLM-Fine-Tuning upvoted a paper about 11 hours ago
Relevance Does Not Imply Applicability: Experience Activation for Personal GUI AgentsOrganizations
None yet