3 papers
q-fin.CP2026
Factor Engine: A Python Library for Systematic Financial Factor Computation and Analysis
Ata Keskin
Factor Engine is a high-performance, open-source Python library designed for the systematic computation and analysis of financial factors. Built around a modular and extensible API…
math.OC2026
Comparative Evaluation of SDP, SOCP, and QC Convex Relaxations for Large-Scale Market-Based AC Optimal Power Flow
Ata Keskin
The alternating current optimal power flow (ACOPF) problem is central to modern power system operations, determining how electricity is generated and transmitted to maximize social…
cs.LO2023
A Formalization of Martingales in Isabelle/HOL
Ata Keskin
This thesis presents a formalization of martingales in arbitrary Banach spaces using Isabelle/HOL. We begin by examining formalizations in prominent proof repositories and extend t…