Neural theorem proving in lean
Vishwakarma, Rahul
Neural theorem proving in lean - Bhubaneswar : NISER, 2024. - vi, 50p.
COMPUTATIONAL MATHEMATICS
NUMERICAL ANALYSIS
519.6 / VIS-N
Neural theorem proving in lean - Bhubaneswar : NISER, 2024. - vi, 50p.
COMPUTATIONAL MATHEMATICS
NUMERICAL ANALYSIS
519.6 / VIS-N