87 citations · 259 across the 22 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023
Learning to be Simple
Yang-Hui He, Vishnu Jejjala, Challenger Mishra +1
In this work we employ machine learning to understand structured mathematical data involving finite groups and derive a theorem about necessary properties of generators of finite s…
cs.LG2023★ 2 cited
Mathematical conjecture generation using machine intelligence
Challenger Mishra, Subhayan Roy Moulik, Rahul Sarkar
Conjectures have historically played an important role in the development of pure mathematics. We propose a systematic approach to finding abstract patterns in mathematical data, i…