Michael Hla
@hla_michael
bio + cs | prev @harvard @shv
I taught an LLM to optimize proteins. It proposed a better carbon capture enzyme. Introducing Pro-1, an 8b param reasoning model trained using GRPO towards a physics based reward function for protein stability. It takes in a protein sequence + text description + previous…
Meet #climatefellow @hla_michael. He’s an independent researcher using AI to accelerate biology, starting with a model that designs enzymes for better carbon capture. His work bridges machine learning & molecular engineering to tackle climate at the cellular level.
Thrilled to announce our 2025 @776foundation Fellows! I’m giving each fellow $100k to tackle one of the biggest threats to humanity: Climate Change. Over the next two years, my Foundation will support these young trailblazers as they come up with innovative and forward-thinking…
Thanks again to the @adaptyvbio team! Uploaded a csv of sequences and got super detailed assay results with no overhead. Would highly recommend
Pro-1, a protein design model by @hla_michael, doesn’t just propose mutations — it explains why it made them. We tested 19 of its FGF-1 designs in our lab and 3 of them improved thermostability while maintaining binding. In this protein designer spotlight we explain how…
I want to point out that over the last few weeks there has been other great work on building reasoning models in biology. Don't want to get stuck on defining what is reasoning/verified rewards - this is just cool work to highlight: @hla_michael did some amazing early work on…
At FutureHouse, we’ve noticed scientific agents are good at applying average intelligence across tasks. They always seem to make the obvious choices, which is good, but discovery sometimes requires more intuition and insight than average. We’ve made the first step today towards…