Michael Traeger
michtrae
AI & ML interests
formal proofs, search over reasoning traces, test-time compute, text classification
Recent Activity
liked a model 3 days ago
paulaoak/certified_self_consistency liked a model 3 days ago
Shaleen123/MedicalEDI-LLM-Reasoning-Final liked a model 3 days ago
Yuhan123/vicuna-13b-self_consistency_neg_exp_var_5Organizations
None yet