PulseAugur
EN
LIVE 06:57:06
ENTITY OEIS Open Lite

OEIS Open Lite

PulseAugur coverage of OEIS Open Lite — every cluster mentioning OEIS Open Lite across labs, papers, and developer communities, ranked by signal.

Show in brief
Total · 30d
1
1 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 1 TOTAL
  1. RESEARCH · CL_198021 ·

    Language models prove mathematical conjectures on new OEIS Open benchmark

    Researchers have developed OEIS Open, a new benchmark designed to evaluate how many mathematical conjectures language models can prove. The benchmark, based on 492 open conjectures from the On-Line Encyclopedia of Integ…