Source author record

Dmitrii Pedchenko

Dmitrii Pedchenko appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Artificial Intelligence math.AG math.DG math.FA math.QA Software Engineering

Catalog footprint

What is connected

4works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

ProgramBench: Can Language Models Rebuild Programs From Scratch?

Turning ideas into full software projects from scratch has become a popular use case for language models. Agents are being deployed to seed, maintain, and grow codebases over extended periods with minimal human oversight. Such settings require models to make high-level software architecture decisions. However, existing benchmarks measure focused, limited tasks such as fixing a single bug or developing a single, specified feature. We therefore introduce ProgramBench to measure the ability of software engineering agents to develop software holisitically. In ProgramBench, given only a program and its documentation, agents must architect and implement a codebase that matches the reference executable's behavior. End-to-end behavioral tests are generated via agent-driven fuzzing, enabling evaluation without prescribing implementation structure. Our 200 tasks range from compact CLI tools to widely used software such as FFmpeg, SQLite, and the PHP interpreter. We evaluate 9 LMs and find that none fully resolve any task, with the best model passing 95\% of tests on only 3\% of tasks. Models favor monolithic, single-file implementations that diverge sharply from human-written code.

preprint2022arXiv

Lecture notes on the Fundamental Structures of Differential Geometry

This is the first part of the lecture notes that grew out of the special course given during the 2021-2022 academic year. In these lecture notes we present an approach to the fundamental structures of differential geometry that uses the vernacular of sheaves, differential operators and horizontal subbundles.

preprint2020arXiv

The Arens-Michael envelopes of the Jordanian Plane and $U_q(\mathfrak{sl}(2))$

The Arens-Michael functor in noncommutative geometry is an analogue of the analytification functor in algebraic geometry: out of the ring of "algebraic functions" on a noncommutative space it constructs the ring of "holomorphic functions" on it. In this paper, we explicitly compute the Arens-Michael envelopes of the Jordanian plane and the quantum enveloping algebra $U_q(\mathfrak{sl}(2))$ of $\mathfrak{sl}(2)$ for $|q|=1$.

preprint2020arXiv

The Picard group of the moduli space of sheaves on a quadric surface

In this paper, we study the Picard group of the moduli space of semistable sheaves on a smooth quadric surface. We polarize the surface by an ample divisor close to the anticanonical class. We focus especially on moduli spaces of sheaves of small discriminant, where we observe new and interesting behavior. Our method relies on constructing certain resolutions for semistable sheaves and applying techniques of geometric invariant theory to the resulting families of sheaves.