Michael Traeger
michtrae
AI & ML interests
formal proofs, search over reasoning traces, test-time compute, text classification
Recent Activity
liked a dataset about 4 hours ago
myyycroft/RiDiC_bad_weather_zh_self_consistency_15_generations liked a dataset about 4 hours ago
leohpark/LLM_reasoning_bakeoff liked a model about 4 hours ago
Yuhan123/vicuna-13b-self_consistency_neg_exp_var_3Organizations
None yet