arXiv subjects

Clemens Pohle

Publications and source records attributed to Clemens Pohle.

3 recordsLinked to original sources

arXiv2026

AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI

Legacy JavaScript systems lack type safety, making maintenance risky. While TypeScript can help, manually adding types is expensive. Previous automated typing research focuses on type inference but rarely addresses type checking setup, definition generation, bug identification, or behavioral correctness at repository scale. We present AgenticTyper, a Large Language Model (LLM)-based agentic system that addresses these gaps through iterative error correction and behavior preservation via transpilation comparison. Evaluation on two proprietary repositories (81K LOC) shows that AgenticTyper resolves all 633 initial type errors in 20 minutes, reducing manual effort from one working day.

cs.SE↗

arXiv2025

The excenters of bicentric polygons are concyclic

We show that the centers of the excircles of a bicentric polygon $B$ are concyclic on a circle $E$. The center of the circumscribed circle $K$ of $B$ is the midpoint of the center of $E$ and the center of the inscribed circle $C$ of $B$. The radius of $E$ is given by a simple formula in terms of the radii of $C$ and $K$ and the distance between their centers.

math.MG↗

arXiv2018

Communicating harmonic pencils of lines

Suppose there are $n$ harmonic pencils of lines given in the plane. We are interested in the question whether certain triples of these lines are concurrent or if triples of intersection points of these lines are collinear, provided that we impose suitable conditions on the initial harmonic pencils. Such conditions can be that certain of the given lines coincide, are concurrent or that certain intersection points are collinear. The study of these questions for $n=2, 3, 4$ sheds light on some well known affine configurations and provides new results in the projective setting. As applications, we will formulate generalizations or stronger versions of the theorems of Pappus, Desargues, Ceva and Menelaos. Notably, the generalized theorems of Ceva and Menelaos suggest a new way to generalize the terms collinearity and concurrency.

math.HO↗