Michael Traeger's picture

Michael Traeger

michtrae
9 18
·

AI & ML interests

formal proofs, search over reasoning traces, test-time compute, text classification

Recent Activity

Organizations

None yet