15 citations · 63 across the 15 of their papers we have counts for
15 papers
Page Curve and Island in EGB gravity
Ankit Anand
In this paper, the information paradox on lower-dimensional Gauss-Bonnet gravity known as a three-dimensional EGB black hole is studied using the quantum extremal island approach.…
Self-Supporting Wormholes in Four Dimensions with Scalar Field
Ankit Anand
In this paper, we investigated the space-time obtained by quotients of the space-time. Further quotient with specific is considered. Taking up to the first-o…
Proving Theorems using Incremental Learning and Hindsight Experience Replay
Eser Aygün, Laurent Orseau, Ankit Anand +5
Traditional automated theorem provers for first-order logic depend on speed-optimized search and many handcrafted heuristics that are designed to work best over a wide range of dom…
Training a First-Order Theorem Prover from Synthetic Data
Vlad Firoiu, Eser Aygun, Ankit Anand +6
A major challenge in applying machine learning to automated theorem proving is the scarcity of training data, which is a key ingredient in training successful deep learning models.…
Learning Compositional Structures for Deep Learning: Why Routing-by-agreement is Necessary
Sai Raam Venkatraman, Ankit Anand, S. Balasubramanian +1
A formal description of the compositionality of neural networks is associated directly with the formal grammar-structure of the objects it seeks to represent. This formal grammar-s…
Self-supporting wormholes with massive vector field
Ankit Anand, Prasanta K. Tripathy
In this paper we consider a massive vector field in the background of a space-time obtained by certain Z2 quotient of the BTZ black hole. We analyse the back reaction of the matter…