Ashvni Narayanan

activity

20212026

most citedTowards a Mathematics Formalisation Assistant using Large Language Models

2 citations · 2 across the 3 of their papers we have counts for

collaborators

Showing math.NTShow all

2 papers · 1 filter

math.NT2025

Learning Euler Factors of Elliptic Curves

Angelica Babei, François Charton, Edgar Costa +5

We apply transformer models and feedforward neural networks to predict Frobenius traces $a_{p}$ from elliptic curves given other traces $a_{q}$ . We train further models to predict $a_p…

math.NT2023

Formalization of $p$ -adic $L$ -functions in Lean 3

Ashvni Narayanan

The Euler--Riemann zeta function is a largely studied numbertheoretic object, and the birthplace of several conjectures, such as the Riemann Hypothesis. Different approaches are us…

Learning Euler Factors of Elliptic Curves

Formalization of p-adic L-functions in Lean 3

Formalization of $p$ -adic $L$ -functions in Lean 3