PatternBoost: Constructions in mathematics with a little help from AI
We introduce PatternBoost, a flexible method for finding interesting constructions in
mathematics. Our algorithm alternates between two phases. In the first``local''phase, a …
mathematics. Our algorithm alternates between two phases. In the first``local''phase, a …
A Systematization of the Wagner Framework: Graph Theory Conjectures and Reinforcement Learning
F Angileri, G Lombardi, A Fois, R Faraone… - arXiv preprint arXiv …, 2024 - arxiv.org
In 2021, Adam Zsolt Wagner proposed an approach to disprove conjectures in graph theory
using Reinforcement Learning (RL). Wagner's idea can be framed as follows: consider a …
using Reinforcement Learning (RL). Wagner's idea can be framed as follows: consider a …
Small Ramsey numbers for books, wheels, and generalizations
This brief note gives several new upper and lower bounds on Ramsey numbers for books
and wheels, including tight lower bounds establishing the Ramsey numbers $ R (B_3, B_6) …
and wheels, including tight lower bounds establishing the Ramsey numbers $ R (B_3, B_6) …
[PDF][PDF] Radius r extremal graphs of girth 5.
DK Garnick - Australas. J Comb., 2024 - ajc.maths.uq.edu.au
For extremal graphs of girth at least 5, radius plays an important role in their structure, proofs
of bounds on their sizes, and exact values of their sizes. All graphs in F, the extremal graphs …
of bounds on their sizes, and exact values of their sizes. All graphs in F, the extremal graphs …
[PDF][PDF] Emerging AI Tools for Education and Research: Perspective and Policies for IISc
GJ OC, AK CSA, V Kumar, YN CSA… - iisc.ac.in
Abstract The Director, IISc, constituted a committee on August 21, 2023 with the following
mandate:(a) Explore the challenges and benefits of emerging AI tools in the context of …
mandate:(a) Explore the challenges and benefits of emerging AI tools in the context of …