Viewing profile — marwahaha

I helped build https://prove2.me . It's not proof-specific but everything is Lean-based. I've found the tool useful when formalizing recent upper bounds on $\omega$ (in computation…

I was involved in building https://prove2.me (but I am not affiliated with Anthropic nor involved in anything related to FLT). I think the key insight in prove2me is to prove theor…

Sure, I built one. I think it will work if you keep your paper collection page in the same format. https://github.com/arxivwiki/kurin-paper-scraper https://github.com/arxivwiki/arx…

I really like this. I recently started a similar project called the "arXiv wiki". Could you link future paper notes here? For example: https://arxiv.wiki/abs/2101.06861

It's a nonprofit: https://codepath.org/about

I'm applying to graduate programs this cycle; this tool helped give me a vague idea of a professor's research interests without reading through their papers. What do you think?

Thanks. I made an issue to track this: https://github.com/marwahaha/ca-center/issues

Thanks! I did so.