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.
2 day(s) with sentiment data
-
AI project visualizes OEIS sequences with 3D graphs
A GitHub repository, decompwlj, has decomposed 4500 sequences from the On-Line Encyclopedia of Integer Sequences into a formula involving weight, level, and jump. The project utilizes interactive 3D and 2D graphs render…
-
New research questions AI's math reasoning benchmarks, highlighting memorization gap
A new research paper explores the limitations of current benchmarks used to test language models' mathematical reasoning abilities, particularly with integer sequences. The study introduces a Minimum Description Length …
-
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…
-
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…