marwahaha

I wasn't sure if this was necessary. What do you think would be useful to include in a privacy policy?

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.

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.

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.

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...

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.