130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of arxiv.org: 130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?

First screen, captured 7 months ago.

Looks similar

Screenshot of arxiv.org: Transformers Are Inherently Succinct (2025)

Transformers Are Inherently Succinct (2025)(arxiv.org)

45 points by bearseascape 5 months ago | 6 comments

Screenshot of arxiv.org: MemGPT: Towards LLMs as Operating Systems

MemGPT: Towards LLMs as Operating Systems (arxiv.org)

203 points by belter 3 years ago | 105 comments

Screenshot of arxiv.org: Chorba: A novel CRC32 implementation (2024)

Chorba: A novel CRC32 implementation (2024)(arxiv.org)

56 points by fnands 8 months ago | 15 comments

Screenshot of arxiv.org: Turing Completeness of GNU find

Turing Completeness of GNU find (arxiv.org)

97 points by todsacerdoti 8 months ago | 25 comments

Screenshot of arxiv.org: LLM agents can autonomously hack websites

LLM agents can autonomously hack websites (arxiv.org)

56 points by pella 2 years ago | 16 comments

Screenshot of arxiv.org: A Comprehensive Formal Security Analysis of OAuth 2.0

A Comprehensive Formal Security Analysis of OAuth 2.0 (arxiv.org)

37 points by colonCapitalDee 1 year ago | 2 comments