Publications & writing

Publications, thesis work, expository notes, and formalization projects by Metin Ersin Arıcan.

This page is deliberately selective. It contains published research, substantial thesis work, and mathematical writing that is ready to share.

Publications

Conference paper · CVPR 2022

ISNAS-DIP: Image-Specific Neural Architecture Search for Deep Image Prior

Metin Ersin Arıcan*, Özgür Kara*, Gustav Bredell, and Ender Konukoğlu
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 1960–1968, 2022.
* Equal contribution.

We show that the best neural architecture in the Deep Image Prior framework depends on the image, then introduce an efficient search strategy for selecting architectures for image restoration without fully training every candidate.

Paper page PDF arXiv Code and data

Preprints

I do not currently list any preprints here.

Thesis

M.Sc. thesis · Boğaziçi University · 2026

VC-density in pairs of strongly minimal structures

Advisor: Ayhan Günaydın

This work studies bounds on the combinatorial complexity of definable families in pairs of models of a strongly minimal theory.

Expository writing

My public mathematical notes currently include selected solutions to exercises from David Marker’s Model Theory: An Introduction. They are collected on the Notes page.

Selected formalization projects

Collaborative project · Boğaziçi University

Formalizing quantifier elimination in Lean

With four undergraduate students and Ayhan Günaydın, I formalized the back-and-forth method for quantifier elimination and applied it to prove that the theory of dense linear orders without endpoints admits quantifier elimination.