Search: id:"swepub:oai:research.chalmers.se:863413fe-11c3-43db-9344-517faaf5a504" >
Exploring Mathemati...
Exploring Mathematical Conjecturing with Large Language Models
-
- Johansson, Moa, 1981 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Smallbone, Nicholas, 1986 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2023
- 2023
- English.
-
In: CEUR Workshop Proceedings. - 1613-0073. ; 3432, s. 62-77
- Related links:
-
https://research.cha...
Abstract
Subject headings
Close
- The task of automating the discovery of mathematical conjectures has so far primarily been addressed in symbolic systems. However, a neuro-symbolic architecture seems like an excellent fit for this task. We can assign the generative task to a neural system without much risk, even if a few non-theorems slip through, the results are checked afterwards using a symbolic theorem prover or counter-example finder. In this initial case-study, we investigate the capabilities of GPT-3.5 and GPT-4 on this task. While results are mixed, we see potential in improving on the weaknesses of purely symbolic systems. A neuro-symbolic theory exploration system could, for instance, add some more variation in conjectures over purely symbolic systems while not missing obvious candidates.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Conjecturing
- Large Language Models
- Theory Exploration
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
To the university's database