1 citations · 1 across the 2 of their papers we have counts for
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…
cs.FL2024★ 1 cited
The complexity of separability for semilinear sets and Parikh automata
Elias Rojas Collins, Chris Köcher, Georg Zetzsche
In a \emph{separability problem}, we are given two sets and from a class , and we want to decide whether there exists a set from a class such…