ashupadhi01

Curious to know what mathematics you are comfortable with. If you are able to understand the papers you mentioned, you must belong to the 99 percentile.

Pay whom. Just explain me in brief how this leaking scene works.

Hey, what kind of work are you currently doing in AI? Just asking out of curiosity. I want to have a brief chat with you about these proof checkers and verification systems. I never got the gist of all these. Stuffs like lean theorem prover. I will be glad If you take out some time.

Tell me how can I run it locally.

I want to know how you build up intuition and knowledge in the space of RL.

Can you tell some resources which helped you gain a sound understanding of this domain ?

New to hackernews