id:"swepub:oai:research.chalmers.se:863413fe-11c3-43db-9344-517faaf5a504"
Sökning: id:"swepub:oai:research.chalmers.se:863413fe-11c3-43db-9344-517faaf5a504" > Exploring Mathemati...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
- Johansson, Moa,1981Chalmers tekniska högskola,Chalmers University of Technology (författare)
Exploring Mathematical Conjecturing with Large Language Models
- Artikel/kapitelEngelska2023
Förlag, utgivningsår, omfång ...
- 2023
Nummerbeteckningar
- LIBRIS-ID:oai:research.chalmers.se:863413fe-11c3-43db-9344-517faaf5a504
- https://research.chalmers.se/publication/537034URI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- 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.
Ämnesord och genrebeteckningar
- 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
- Conjecturing
- Large Language Models
- Theory Exploration
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Smallbone, Nicholas,1986Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)nicsma (författare)
- Chalmers tekniska högskola (creator_code:org_t)
Sammanhörande titlar
- Ingår i:CEUR Workshop Proceedings3432, s. 62-771613-0073
Internetlänk
Hitta via bibliotek
- CEUR Workshop Proceedings (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Johansson, Moa, ...
- Smallbone, Nicho ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Programvarutekni ...
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Artiklar i publikationen
- CEUR Workshop Pr ...
- Av lärosätet
- Chalmers tekniska högskola
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
