2 papers
cs.AI2024
Mining Math Conjectures from LLMs: A Pruning Approach
Jake Chuharski, Elias Rojas Collins, Mark Meringolo
We present a novel approach to generating mathematical conjectures using Large Language Models (LLMs). Focusing on the solubilizer, a relatively recent construct in group theory, w…
math.GR2023
Characterization of Solubilizers of Elements in Minimal Simple Groups
Banafsheh Akbari, Jake Chuharski, Vismay Sharan +1
Given a finite group , the solubilizer of an element , denoted by $\Sol_G(x)$, is the set of all elements such that is a soluble subgroup of . In…