Automated conjecturing with TxGraffiti
Fields of Study & Subjects
Computability
Logic
AI Algorithms
Mathematics
Computing
and Information Processing
programming
and type systems
Publication details
- Journal / source
- Annals of Mathematics and Artificial Intelligence
- Publisher
- Springer Science and Business Media LLC
- Volume
- 94
- Issue
- 4
- Pages
- 453–476
- Publication date
- 14 April 2026
- Language
- EN