Please use this identifier to cite or link to this item:
http://idr.niser.ac.in:8080/jspui/handle/123456789/810| Title: | Neural theorem proving in lean |
| Authors: | Vishwakarma, Rahul Dalai, Deepak Kumar Mishra, Subhankar |
| Issue Date: | May-2024 |
| Publisher: | NISER Bhubaneswar |
| Series/Report no.: | Dissertations;T725 |
| URI: | http://idr.niser.ac.in:8080/jspui/handle/123456789/810 |
| Appears in Collections: | School of Mathematical Sciences |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| T725_Rahul Vishwakarma_1911122.pdf Restricted Access | 1.36 MB | Adobe PDF | View/Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.