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 formats machines can verify using tools such as Lean and Coq.
IEEE

Improved Fractional $\mathrm{P}{\mathrm{I}}^{{\alpha }}{\mathrm{D}}^{{\beta }}$ Controller for AVR System via a New Optimization Algorithm

Abstract: In this study, a pioneering metaheuristic optimization approach, named Proportional-Integral-Derivative (PID)-based Search Algorithm (PSA), is suggested for the first time in the context of ...
IEEE

Rice Disease Recognition using Improved Visual Geometry Group Deep Learning Algorithms

Abstract: Rice diseases are one of the major factors affecting rice production. Traditionally, the identification and assessment of rice diseases have been done manually by experts and farmers, which ...
GitHub

MoGe: Accurate Monocular Geometry Estimation

Released MoGe-2, a state-of-the-art model for monocular geometry, with these new capabilities in one unified model: Note: MoGe should be compatible with most ...