Computational Biologist. University of Pittsburgh.
Joined July 2018
- Tweets162
- Following150
- Followers691
- Likes123
Maria Chikina retweeted
Just posted manuscript and code for Trellis, an autoformalization system that aims to take a math paper in LaTeX and output a complete formalization in Lean.
Link has manuscript, code, and viewers with formalizations of recent Ramsey theory breakthroughs.
math.cmu.edu/~wes/trellis.ph…
Voters expressed genuine grievances, and while change is rarely immediate, this outcome may still signal shifts that align the economy more closely with the needs of the people. And that’s an aspiration we can all share.
Democracy, though not always a direct reflection of our ideals, remains a system responsive to collective concerns, even if indirectly.
Many are feeling the weight of the election's outcome. As we process this, let's focus on what we can control: our work, connections with friends and family, and sources of personal fulfillment.
Our work benchmarking proportion estimation methods (genomebiology.biomedcentral.…) finds BayesPrism (nature.com/articles/s43018-0…) among the top performers. We introduce a fast re-implementation InstaPrism: same accuracy, orders of magnitude faster! academic.oup.com/bioinformat…
Maria Chikina retweeted
A 🧵 on some of my intuitions/priors about the genetics of complex and molecular traits in humans (i.e. what I think of as typical), largely motivated by GWAS/QTL studies over the past decade [citing papers with nice figures where possible]
Can someone explain Fig 2 of nature.com/articles/s41576-0…. Why do some nascent RNA techniques give signal past the transcription end site and others don't.
