Michael Traeger
michtrae
AI & ML interests
formal proofs, search over reasoning traces, test-time compute, text classification
Recent Activity
liked a dataset 2 days ago
tungvu3196/vlm-project-with-images-with-bbox-images-with-tree-of-thoughts-v2 upvoted a paper 2 days ago
Taming VLAs under Robot Execution Errors: Self-Compensation and Stress Testing liked a model 4 days ago
llmfan46/Qwen3.5-40B-Claude-4.5-Opus-High-Reasoning-Thinking-uncensored-heretic-GGUFOrganizations
None yet