·
DataBubble
  • Home
  • Models
  • News
  • Compare
  • Boards
  • Pricing
  • About
  • Newsletter
  • Methodology
  • Contact
Latest
The Meta hack shows there’s more to AI security than Mythos3h◆Mira Murati steps back into the spotlight, carefully7h◆SFMambaNet: Spectral-Frequency Enhanced Selective State Space Model for Correspondence Pruning8h◆Optical-Guided Neural Collapse for SAR Few-Shot Class Incremental Learning8h◆Dynamic Infilling Anchors for Format-Constrained Generation in Diffusion Large Language Models8h◆Temporal Order Matters for Agentic Memory: Segment Trees for Long-Horizon Agents8h◆Why Muon Outperforms Adam: A Curvature Perspective8h◆Vision Hopfield Memory Networks8h◆Provably Auditable and Safe LLM Agents from Human-Authored Ontologies8h◆FlexRank: Nested Low-Rank Knowledge Decomposition for Adaptive Model Deployment8h◆Stable Deep Reinforcement Learning via Isotropic Gaussian Representations8h◆q0: Primitives for Hyper-Epoch Pretraining8h◆MLEvolve: A Self-Evolving Framework for Automated Machine Learning Algorithm Discovery8h◆Test-Time Training for Visual Foresight Vision-Language-Action Models8h◆Beyond Objective Equivalence: Constraint Injection for LLM-Based Optimization Modeling on Vehicle Routing Problems8h◆Curvature-aware dynamic precision approach for physics-informed neural networks8h◆Value-and-Structure Alignment for Routing-Consistent Quantization of Mixture-of-Experts Models8h◆Scaffold, Not Vocabulary? A Controlled, Two-Tier, Pre-Registered Study of a Popperian Code-Generation Skill8h◆Pitfalls of Evaluating Language Models with Open Benchmarks8h◆CoT-Space: A Theoretical Framework for Internal Slow-Thinking via Reinforcement Learning8h◆The Meta hack shows there’s more to AI security than Mythos3h◆Mira Murati steps back into the spotlight, carefully7h◆SFMambaNet: Spectral-Frequency Enhanced Selective State Space Model for Correspondence Pruning8h◆Optical-Guided Neural Collapse for SAR Few-Shot Class Incremental Learning8h◆Dynamic Infilling Anchors for Format-Constrained Generation in Diffusion Large Language Models8h◆Temporal Order Matters for Agentic Memory: Segment Trees for Long-Horizon Agents8h◆Why Muon Outperforms Adam: A Curvature Perspective8h◆Vision Hopfield Memory Networks8h◆Provably Auditable and Safe LLM Agents from Human-Authored Ontologies8h◆FlexRank: Nested Low-Rank Knowledge Decomposition for Adaptive Model Deployment8h◆Stable Deep Reinforcement Learning via Isotropic Gaussian Representations8h◆q0: Primitives for Hyper-Epoch Pretraining8h◆MLEvolve: A Self-Evolving Framework for Automated Machine Learning Algorithm Discovery8h◆Test-Time Training for Visual Foresight Vision-Language-Action Models8h◆Beyond Objective Equivalence: Constraint Injection for LLM-Based Optimization Modeling on Vehicle Routing Problems8h◆Curvature-aware dynamic precision approach for physics-informed neural networks8h◆Value-and-Structure Alignment for Routing-Consistent Quantization of Mixture-of-Experts Models8h◆Scaffold, Not Vocabulary? A Controlled, Two-Tier, Pre-Registered Study of a Popperian Code-Generation Skill8h◆Pitfalls of Evaluating Language Models with Open Benchmarks8h◆CoT-Space: A Theoretical Framework for Internal Slow-Thinking via Reinforcement Learning8h◆
News/FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse Autoformalization
arxiv
PublishedMay 29, 2026 at 4:00 AM

FormalEvolve: Neuro-Symbolic Evolutionary Search for Diverse Autoformalization

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

arXiv:2603.19828v3 Announce Type: replace Abstract: Autoformalization aims to produce formal statements that compile and faithfully preserve the intended meaning of informal mathematics. Yet standard single-output evaluation protocols collapse a many-to-many problem into a single-output prediction t

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 Pruning8harxivOptical-Guided Neural Collapse for SAR Few-Shot Class Incremental Learning8harxivDynamic Infilling Anchors for Format-Constrained Generation in Diffusion Large Language Models8harxivTemporal Order Matters for Agentic Memory: Segment Trees for Long-Horizon Agents8h
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