LLMs can generate original, simple conjectures about the solubilizer, but about two-thirds of their GAP code fails to execute.
Integrating multiple sources to answer questions in Algebraic Topology
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and deduction. The architecture allows the system not only to interface several systems, but also to make them cooperate in shared calculations.
citation-role summary
background 1
citation-polarity summary
fields
cs.AI 1years
2024 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Mining Math Conjectures from LLMs: A Pruning Approach
LLMs can generate original, simple conjectures about the solubilizer, but about two-thirds of their GAP code fails to execute.