MK

Matěj Kripner

0009-0006-9530-3670

cs.AIcs.LGcs.CLcs.CVcs.LOcs.MS

On Valency

published · living versions

W_c8jxt68w·v1 · currentpublished

Least-Atom Extremizers for Resampling Noise

with Václav Rozhoň, Robert Šámal, Martin Šindelář, Adrián Zámečník

1 version

W_47e3gpvg·v1published

Stationary diffusion on nonnegatively curved graphs

W_syfr45ta·v1published

Sharp fractional Helly bounds for common affine flats

W_qvavks8c·v1published

Linear Trace-Deficit Decay for Permanents of Positive Semidefinite Contractions

Preprints & journals

6 papers in the corpus · 2025–2026

SAM3RL: Memory Control via Reinforcement Learning for Visual Object Tracking2610.19931v1 · Tom'as C'izek, Matej Straka, Illia Volkov et al.2026 · 0 citationsarXiv

NanoProof: Open and Efficient Automated Theorem Proving in Lean 42610.11605v1 · Matej Kripner, Milan Straka2026 · 0 citationsarXiv

Bolzano: From Expert-Guided Proof Search to Automated Open-Problem Solving2610.09769v2 · Adri'an Z'amecn'ik, Matej Kripner, Martin Kouteck'y et al.2026 · 0 citationsarXiv

OpenProver: Agentic and Interactive Theorem Proving with Lean 42607.09217v1 · Matej Kripner, Milan Straka2026 · 0 citationsarXiv

Bolzano: Case Studies in LLM-Assisted Mathematical Research2604.16989v2 · Martin Balko, Jan Greb'ik, Pavel Hub'acek et al.2026 · 0 citationsarXiv

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 42507.14722v1 · Matej Kripner, Michal Sustr, Milan Straka2025 · 0 citationsarXiv

Career total: 6 works. 6 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.