arXiv:2606. 11430v1 Announce Type: cross Abstract: Mathematical knowledge is split between bibliographic databases (e.
Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.
The zbMATH Open Knowledge Graph is a large-scale RDF knowledge graph that spans more than 250 years of mathematical scholarship. It goes beyond traditional bibliographic metadata by incorporating expert-curated semantic content such as reviews, keywords, subject classifications, software references, and disambiguated authorship. With 34 million entities and 168 million RDF triples, the graph enables fine-grained, historically grounded exploration of mathematical concepts, research fields, and scholarly relationships over time.
arXiv:2607. 24512v1 Announce Type: new Abstract: Mathematical models are central to formalizing research problems, yet their documentation often falls short of FAIR principles.
arXiv:2602.18307v2 Announce Type: replace-cross Abstract: Large language models have achieved striking results in interactive theorem proving, particularly in Lean. However, most benchmarks for LLM-b...
arXiv:2604. 03789v2 Announce Type: replace-cross Abstract: Recent advances in large language models have significantly improved their ability to perform mathematical reasoning, extending from elementary problem solving to increasingly capable performance on research-level problems.
arXiv:2608.28433v2 Announce Type: replace Abstract: Proof assistants such as Lean 4 promise the paradigm of formally verified mathematics, but large-scale formalization projects have faced major barr...
arXiv:2603. 02668v2 Announce Type: replace Abstract: We present SorryDB, a dynamically-updating benchmark of open Lean tasks drawn from 78 real world formalization projects on GitHub.