On-Line Encyclopedia of Integer Sequences
PulseAugur coverage of On-Line Encyclopedia of Integer Sequences — every cluster mentioning On-Line Encyclopedia of Integer Sequences across labs, papers, and developer communities, ranked by signal.
1 day(s) with sentiment data
-
Language models prove 30% of math conjectures in new benchmark
Researchers have developed OEIS Open, a new benchmark designed to evaluate how many mathematical conjectures language models can prove. This benchmark, based on 492 open conjectures from the On-Line Encyclopedia of Inte…
-
New dataset and GNNs advance study of finite group symmetries
Researchers have developed a new dataset of over 131,000 Cayley graphs to serve as benchmarks for studying how finite group properties are reflected in graph observables. This work also contributes new enumerative seque…
-
New open-source tool combats AI math hallucination
A new open-source project called mathlas has been developed to combat AI hallucination in mathematical reasoning. It functions as an MCP server, providing AI assistants with access to a real Lean kernel, a theorem index…
-
IntSeqBERT Transformer Learns Arithmetic Structure in Integer Sequences
Researchers have developed IntSeqBERT, a novel Transformer model designed to understand and predict integer sequences found in the On-Line Encyclopedia of Integer Sequences (OEIS). Unlike standard models, IntSeqBERT use…