TY  - RPRT
TI  - Mathematical conjecture generation using machine intelligence
AU  - Challenger Mishra
AU  - Subhayan Roy Moulik
AU  - Rahul Sarkar
PY  - 2023
UR  - https://arxiv.org/abs/2306.07277
ID  - 2306.07277
ER  -