Automatically screened · not peer reviewed by this site
Source-language text: English
AI for science · provider_announcement
Google commits $40M in AI tokens and credits for the Genesis Mission
Automatically screened · not peer reviewed by this siteRead analysis note ↗AI models · provider_announcement
We're launching the Anthropic Economic Index connector for Claude, which lets anyone explore the data directly.
Automatically screened · not peer reviewed by this siteRead analysis note ↗AI models · provider_announcement
We’re introducing new Gemini models, including Gemini 3.6 Flash, 3.5 Flash-Lite and 3.5 Flash Cyber.
Automatically screened · not peer reviewed by this siteRead analysis note ↗Evaluation & safety · provider_announcement
Google introduces Gemini 3.5 Flash Cyber, a lightweight cybersecurity model to find and patch vulnerabilities.
Automatically screened · not peer reviewed by this siteRead analysis note ↗AI models · provider_announcement
Google DeepMind and Isomorphic Labs are sharing our joint approach to bioresilience and AI models.
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
The evaluation of mathematical reasoning in large language models (LLMs) has predominantly focused on high-resource languages like English. This has created a significant barrier to
Automatically screened · not peer reviewed by this siteRead analysis note ↗AI models · provider_announcement
Anthropic is committing $10M to Canadian research institutions to fund the next generation of AI research.
Automatically screened · not peer reviewed by this siteRead analysis note ↗Robotics & embodiment · provider_announcement
Google and AIM launched ATL Saathi, a Gemini-powered AI tool empowering Indian educators in robotics labs.
Automatically screened · not peer reviewed by this siteRead analysis note ↗Formal verification · preprint
Tree search algorithms enable systematic exploration of the proof space in neural theorem proving. Existing LLM tree search libraries primarily target natural language reasoning and
Automatically screened · not peer reviewed by this siteRead analysis note ↗AI models · provider_announcement
Former Federal Reserve Chair Ben Bernanke has been appointed to Anthropic's Long-Term Benefit Trust, bringing expertise on AI's economic impacts.
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
Mathematical reasoning has become a central task for evaluating and tuning reasoning Large Language Models (LLMs), yet existing benchmarks remain heavily biased toward high-resource languages,
Automatically screened · not peer reviewed by this siteRead analysis note ↗Evaluation & safety · provider_announcement
The Government of Alberta has been using Claude Code with both Opus and Sonnet models to review its systems, find vulnerabilities, and fix them.
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
Reinforcement Learning with Verifiable Rewards (RLVR) has emerged as a promising paradigm for improving mathematical reasoning in language models. Yet most RLVR work rewards only
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
The rapid integration of Large Language Models (LLMs) into educational technology threatens to reduce mathematical learning to mere answer generation. This paper presents a generative
Automatically screened · not peer reviewed by this siteRead analysis note ↗Formal verification · preprint
While Large Language Models (LLMs) have demonstrated exceptional capabilities in mathematical reasoning, they frequently produce subtle errors that evade human detection. Formal mathematical languages like
Automatically screened · not peer reviewed by this siteRead analysis note ↗Formal verification · preprint
Geometry Problem Solving have increasingly adopt the neuro-symbolic paradigm, combining neural intuition with symbolic rigor. However, current frameworks suffer from severe bottlenecks in two core
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
Recent LLMs demonstrate strong mathematical reasoning capabilities, but existing gains rely heavily on English-centric training resources and benchmarks. As a result, reasoning performance degrades substantially
Automatically screened · not peer reviewed by this siteRead analysis note ↗Mathematical reasoning · preprint
Large language models reach high accuracy in mathematical reasoning, but individual traces on the same problem diverge; some arrive at the correct answer while others
Automatically screened · not peer reviewed by this siteRead analysis note ↗Formal verification · preprint
While reinforcement learning from verifiable rewards (RLVR) typically has relied on a single binary verification signal, symbolic proof assistants in formal reasoning offer rich, fine-grained
Automatically screened · not peer reviewed by this siteRead analysis note ↗AI models · provider_announcement
Claude Corps is a national fellowship for early-career people passionate about extending the benefits of AI to communities across America.
Automatically screened · not peer reviewed by this siteRead analysis note ↗AI models · provider_announcement
Today we’re launching Claude Fable 5: a Mythos-class model that we’ve made safe for general use.
Automatically screened · not peer reviewed by this siteRead analysis note ↗Evaluation & safety · provider_announcement
As AI changes how cyberattacks happen, how well do the security community's frameworks hold up? A new report maps attacks onto MITRE ATT&CK.
Automatically screened · not peer reviewed by this siteRead analysis note ↗AI models · provider_announcement
The full text of Anthropic co-founder Chris Olah's remarks on the Pope's encyclical on AI, "Magnifica humanitas."
Automatically screened · not peer reviewed by this siteRead analysis note ↗AI models · provider_announcement
KPMG makes Claude available to 276,000+ employees and embeds it in its Digital Gateway platform for tax, legal, and private equity clients.
Automatically screened · not peer reviewed by this siteRead analysis note ↗No matching records.