متابعة
Ashvni Narayanan
Ashvni Narayanan
Sydney Mathematical Research Institute, University of Sydney
بريد إلكتروني تم التحقق منه على sydney.edu.au
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
A formalization of Dedekind domains and class groups of global fields‏
A Baanen, SR Dahmen, A Narayanan, ...‏
Journal of Automated Reasoning 66 (4), 611-637, 2022‏
222022
Towards automating formalisation of theorem statements using large language models‏
S Gadgil, AR Tadipatri, A Agrawal, A Narayanan, N Goyal‏
36th Conference on Neural Information Processing Systems (NeurIPS 2022 …, 2022‏
15*2022
Filippo AE Nuccio Mortarino Majno di Capriglio. A Formalization of Dedekind Domains and Class Groups of Global Fields‏
A Baanen, SR Dahmen, A Narayanan‏
12th International Conference on Interactive Theorem Proving (ITP 2021) 193, 5, 0‏
9
Formalization of -adic -functions in Lean 3‏
A Narayanan‏
arXiv preprint arXiv:2302.14491, 2023‏
22023
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–4