·
DataBubble
  • Home
  • Models
  • News
  • Compare
  • Boards
  • Pricing
  • About
  • Newsletter
  • Methodology
  • Contact
Latest
Reinforcement Learning Towards Broadly and Persistently Beneficial Models6h◆Ensemble Feature Selection and Harris Hawks Optimization for Explainable Mental Health Risk Prediction in Female Sex Workers6h◆ReMMD: Realistic Multilingual Multi-Image Agentic Verification for Multimodal Misinformation Detection6h◆VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification6h◆Speculative Pipeline Decoding: Higher-Accruacy and Zero-Bubble Speculation via Pipeline Parallelism6h◆Can Aggregate Invariants Accelerate Continuous Subgraph Matching? Limits, Laws, and a Dynamic Spectral Index6h◆ScaleToT: Generalizing Structured LLM Reasoning for Billion-Scale Low-Activity User Modeling6h◆AI Tokenomics: The Economics of Tokens, Computation, and Pricing in Foundation Models6h◆Themis: An explainable AI-enabled framework for Reinforcement Learning with Human Feedback6h◆SAFARI: Scaling Long Horizon Agentic Fault Attribution via Active Investigation6h◆CineCap: Structured Reasoning with Spatio-Temporal Anchors for Cinematographic Video Captioning6h◆Can Scale Save Us From Plasticity Loss in Large Language Models?6h◆BluTrain: A C++/CUDA Framework for AI Systems6h◆Assessing Distribution Shift in Human Activity Recognition for Domain Generalization6h◆Solving Inverse Problems of Chaotic Systems with Bidirectional Conditional Flow Matching6h◆Difference-Making without Making a Difference6h◆Accuracy and Satisfaction in Multi-Turn LLM Dialogues for NFR Assessment6h◆Grading the Grader: Lessons from Evaluating an Agentic Data Analysis System6h◆Matching Tasks to Objectives: Fine-Tuning and Prompt-Tuning Strategies for Encoder-Decoder Pre-trained Language Models6h◆OpenThoughts-Agent: Data Recipes for Agentic Models6h◆Reinforcement Learning Towards Broadly and Persistently Beneficial Models6h◆Ensemble Feature Selection and Harris Hawks Optimization for Explainable Mental Health Risk Prediction in Female Sex Workers6h◆ReMMD: Realistic Multilingual Multi-Image Agentic Verification for Multimodal Misinformation Detection6h◆VeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification6h◆Speculative Pipeline Decoding: Higher-Accruacy and Zero-Bubble Speculation via Pipeline Parallelism6h◆Can Aggregate Invariants Accelerate Continuous Subgraph Matching? Limits, Laws, and a Dynamic Spectral Index6h◆ScaleToT: Generalizing Structured LLM Reasoning for Billion-Scale Low-Activity User Modeling6h◆AI Tokenomics: The Economics of Tokens, Computation, and Pricing in Foundation Models6h◆Themis: An explainable AI-enabled framework for Reinforcement Learning with Human Feedback6h◆SAFARI: Scaling Long Horizon Agentic Fault Attribution via Active Investigation6h◆CineCap: Structured Reasoning with Spatio-Temporal Anchors for Cinematographic Video Captioning6h◆Can Scale Save Us From Plasticity Loss in Large Language Models?6h◆BluTrain: A C++/CUDA Framework for AI Systems6h◆Assessing Distribution Shift in Human Activity Recognition for Domain Generalization6h◆Solving Inverse Problems of Chaotic Systems with Bidirectional Conditional Flow Matching6h◆Difference-Making without Making a Difference6h◆Accuracy and Satisfaction in Multi-Turn LLM Dialogues for NFR Assessment6h◆Grading the Grader: Lessons from Evaluating an Agentic Data Analysis System6h◆Matching Tasks to Objectives: Fine-Tuning and Prompt-Tuning Strategies for Encoder-Decoder Pre-trained Language Models6h◆OpenThoughts-Agent: Data Recipes for Agentic Models6h◆
News/Formal Verification of Minimax Algorithms
arxiv
PublishedApril 23, 2026 at 4:00 AM
—neutral

Formal Verification of Minimax Algorithms

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

arXiv:2509.20138v2 Announce Type: replace Abstract: Minimax-based search algorithms with alpha-beta pruning and transposition tables are a central component of classical game-playing engines and remain widely used in practice. Despite their widespread use, these algorithms are subtle, highly optimiz

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
arxivReinforcement Learning Towards Broadly and Persistently Beneficial Models6harxivEnsemble Feature Selection and Harris Hawks Optimization for Explainable Mental Health Risk Prediction in Female Sex Workers6harxivReMMD: Realistic Multilingual Multi-Image Agentic Verification for Multimodal Misinformation Detection6harxivVeryTrace: Verifying Reasoning Traces through Compilable Formalism and Structured Verification6h
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