·
DataBubble
  • Home
  • Models
  • News
  • Compare
  • Boards
  • Pricing
  • About
  • Newsletter
  • Methodology
  • Contact
Latest
Google will pay SpaceX $920M per month for compute1h◆The most interesting startups right now want to get you off your phone3h◆This is your laptop… on AI4h◆New York lawmakers pass one-year ban on new data centers5h◆The token bill comes due: Inside the industry scramble to manage AI’s runaway costs6h◆The latest AI news we announced in May 20266h◆The ‘together tech’ wave might be the most intriguing startup bet of 20266h◆This AI startup says it can tell if a script will make a hit film6h◆AirTrunk commits $30B to build 5GW of AI data centers in India7h◆The Meta hack shows there’s more to AI security than Mythos11h◆Mira Murati steps back into the spotlight, carefully15h◆SFMambaNet: Spectral-Frequency Enhanced Selective State Space Model for Correspondence Pruning16h◆Optical-Guided Neural Collapse for SAR Few-Shot Class Incremental Learning16h◆Dynamic Infilling Anchors for Format-Constrained Generation in Diffusion Large Language Models16h◆Temporal Order Matters for Agentic Memory: Segment Trees for Long-Horizon Agents16h◆Why Muon Outperforms Adam: A Curvature Perspective16h◆Vision Hopfield Memory Networks16h◆Provably Auditable and Safe LLM Agents from Human-Authored Ontologies16h◆FlexRank: Nested Low-Rank Knowledge Decomposition for Adaptive Model Deployment16h◆Stable Deep Reinforcement Learning via Isotropic Gaussian Representations16h◆Google will pay SpaceX $920M per month for compute1h◆The most interesting startups right now want to get you off your phone3h◆This is your laptop… on AI4h◆New York lawmakers pass one-year ban on new data centers5h◆The token bill comes due: Inside the industry scramble to manage AI’s runaway costs6h◆The latest AI news we announced in May 20266h◆The ‘together tech’ wave might be the most intriguing startup bet of 20266h◆This AI startup says it can tell if a script will make a hit film6h◆AirTrunk commits $30B to build 5GW of AI data centers in India7h◆The Meta hack shows there’s more to AI security than Mythos11h◆Mira Murati steps back into the spotlight, carefully15h◆SFMambaNet: Spectral-Frequency Enhanced Selective State Space Model for Correspondence Pruning16h◆Optical-Guided Neural Collapse for SAR Few-Shot Class Incremental Learning16h◆Dynamic Infilling Anchors for Format-Constrained Generation in Diffusion Large Language Models16h◆Temporal Order Matters for Agentic Memory: Segment Trees for Long-Horizon Agents16h◆Why Muon Outperforms Adam: A Curvature Perspective16h◆Vision Hopfield Memory Networks16h◆Provably Auditable and Safe LLM Agents from Human-Authored Ontologies16h◆FlexRank: Nested Low-Rank Knowledge Decomposition for Adaptive Model Deployment16h◆Stable Deep Reinforcement Learning via Isotropic Gaussian Representations16h◆
News/MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
arxiv
PublishedMay 28, 2026 at 4:00 AM

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics

Source
arxiv.orgfull article ↗
Read on arxiv→
Publisher summary· verbatim

arXiv:2602.02561v3 Announce Type: replace-cross Abstract: While the ecosystem of Lean and Mathlib has enjoyed celebrated success in formal mathematical reasoning with the help of large language models (LLMs), the absence of many folklore lemmas in Mathlib remains a persistent barrier that limits Lea

Stay posted· Newsletter

A 5-min weekly brief — top movers, price watch, story of the week.

// no spam · unsubscribe one-click · free forever

Discussion
Source
↗
arxiv
Read original ↗All from arxiv →

No replies yet. Be first.

Source
↗
arxiv
Read original ↗All from arxiv →

Related coverage

More from ARXIV
arxivSFMambaNet: Spectral-Frequency Enhanced Selective State Space Model for Correspondence Pruning16harxivOptical-Guided Neural Collapse for SAR Few-Shot Class Incremental Learning16harxivDynamic Infilling Anchors for Format-Constrained Generation in Diffusion Large Language Models16harxivTemporal Order Matters for Agentic Memory: Segment Trees for Long-Horizon Agents16h
The Bubble Brief
WEEKLY

Read AI insights every Tuesday — top movers, new releases, story of the week.

// no spam · unsubscribe one-click · free forever

Originally published on arxiv ↗
HomeModelsNews