Uri Kreitner

cs.AImath.CV

On Valency

published · living versions

W_g96x26fu·v1 · currentpublished

with Oleg Ivrii

1 version

2 papers in the corpus · 2022–2026

ProofCouncil: An LLM Agent for Solving Open Mathematical Problems2607.09474v1 · Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck et al.2026 · 0 citationsarXiv

Critical values of inner functions2212.14818v2 · Oleg Ivrii, Uri Kreitner2022 · 3 citationsarXiv

Career total: 2 works. 2 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.