Michael Traeger
michtrae
AI & ML interests
formal proofs, search over reasoning traces, test-time compute, text classification
Recent Activity
liked a model 1 day ago
llmfan46/Qwen3.5-40B-Claude-4.5-Opus-High-Reasoning-Thinking-uncensored-heretic-GGUF liked a model 1 day ago
s-emanuilov/LLMBG-Llama-3.1-8B-BG-Reasoning-v0.1Organizations
None yet