no code implementations • 8 Dec 2023 • Yang-Hui He, Vishnu Jejjala, Challenger Mishra, Max Sharnoff
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 simple groups.
no code implementations • 12 Jun 2023 • Challenger Mishra, Subhayan Roy Moulik, Rahul Sarkar
Finally, we propose a pipeline of mathematical discovery in this space and highlight the importance of domain expertise in this pipeline.
no code implementations • 30 Nov 2022 • Aarjav Jain, Challenger Mishra, Pietro Liò
Neural networks with PDEs embedded in their loss functions (physics-informed neural networks) are employed as a function approximators to find solutions to the Ricci flow (a curvature based evolution) of Riemannian metrics.
no code implementations • 17 Nov 2022 • Per Berglund, Giorgi Butbaia, Tristan Hübsch, Vishnu Jejjala, Damián Mayorga Peña, Challenger Mishra, Justin Tan
Finding Ricci-flat (Calabi-Yau) metrics is a long standing problem in geometry with deep implications for string theory and phenomenology.
no code implementations • 28 Sep 2022 • Abhishek Dasgupta, Rahul Sharma, Challenger Mishra, Vikranth H. Nagaraja
Marker-based Optical Motion Capture (OMC) systems and associated musculoskeletal (MSK) modelling predictions offer non-invasively obtainable insights into in vivo joint and muscle loading, aiding clinical decision-making.
no code implementations • 31 Dec 2020 • Vishnu Jejjala, Damian Kaloni Mayorga Pena, Challenger Mishra
Ricci flat metrics for Calabi-Yau threefolds are not known analytically.
no code implementations • 23 Mar 2020 • Yarin Gal, Vishnu Jejjala, Damian Kaloni Mayorga Pena, Challenger Mishra
Quantum chromodynamics (QCD) is the theory of the strong interaction.
no code implementations • 8 Jun 2018 • Kieran Bull, Yang-Hui He, Vishnu Jejjala, Challenger Mishra
The latest techniques from Neural Networks and Support Vector Machines (SVM) are used to investigate geometric properties of Complete Intersection Calabi-Yau (CICY) threefolds, a class of manifolds that facilitate string model building.