Michael Traeger's picture

Michael Traeger

michtrae
6 10
·

AI & ML interests

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

Recent Activity

Organizations

None yet