PulseAugur
EN
LIVE 06:51:20
ENTITY MATH benchmark

MATH benchmark

PulseAugur coverage of MATH benchmark — every cluster mentioning MATH benchmark across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 2 TOTAL
  1. TOOL · CL_231469 ·

    Neuro-symbolic AI aims to ground LLMs with math knowledge

    A new research paper explores grounding large language models with formal domain ontologies, using mathematics as a test case. The study implements a neuro-symbolic pipeline that injects relevant definitions from the Op…

  2. TOOL · CL_30763 ·

    New attack induces 'overthinking' in LLM reasoning models

    Researchers have developed a new method to exploit a vulnerability in large language reasoning models (LRMs) that causes them to "overthink." This technique uses a hierarchical genetic algorithm to generate inputs that …