|
|
|
|
|
|
by ashupadhi01
908 days ago
|
|
|
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. |
|
|