marwahaha
Joined 11 years ago
Karma
9
Submissions
14
Member since
Aug 19
https://kunalmarwaha.com/about
View on Hacker NewsRecent submissions
Comment · 8 days ago
I wasn't sure if this was necessary. What do you think would be useful to include in a privacy policy?
Comment · 8 days ago
Thanks for checking out the site. All of the Lean that is generated with an open-source license is exported daily here: https://github.com/prove2me/formalpedia
The graph has an AND-OR structure. Each node (circle) is a theorem statement, and each directed hyperedge (square) is an implication. To prove a theorem statement, all of the children of one implication must be proved.
Comment · 1 month ago
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 computational complexity of matrix multiplication). A lot of ideas in this tool are experimental, but the intent is to benefit the mathematical community at large. I'd be happy to hear about any suggestions or advice others have.
Comment · 1 month ago
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 theorems "top-down", which allows a large number of users to collaboratively work on a single theorem statement. This setup also seems to work well for a "swarm" of agents. I posted more of my thoughts on the Lean Zulip.
Comment · 5 years ago
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/arxivwiki/blob/main/.github/wor... https://github.com/arxivwiki/arxivwiki/blob/main/.github/wor...
Comment · 5 years ago
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
Comment · 5 years ago
It's a nonprofit: https://codepath.org/about
Comment · 5 years ago
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?
Comment · 5 years ago
Thanks. I made an issue to track this: https://github.com/marwahaha/ca-center/issues
Comment · 5 years ago
Thanks! I did so.