Neel Somani Investigates How Artificial Intelligence May Help Verify Mathematical Research

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into ...
IEEE

Graph Neural Ordinary Differential Equations-based method for Collaborative Filtering

Abstract: Graph Convolution Networks (GCNs) are widely considered state-of-the-art for collaborative filtering. Although several GCN-based methods have been proposed and achieved state-of-the-art ...
IEEE

Comparative Study of Numerical Solutions to non-Linear Equations Using Regula-Falsi and Newton-Raphson Method

Abstract: This study aimed at comparing the rate of convergence and performance of Newton-Raphson and Regula-Falsi method for solving the nonlinear equations. To solve nonlinear equations, two ...