Mat\v{e}j Kripner

Identifiers

No identifiers captured yet.

Papers (1)

1. Bolzano: Case Studies in LLM-Assisted Mathematical Research cs.CL · 2026 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Adri\'an Z\'ame\v{c}n\'ik 1 shared papers
• Jan Greb\'ik 1 shared papers
• Martin Balko 1 shared papers
• Martin Kouteck\'y 1 shared papers
• Pavel Hub\'a\v{c}ek 1 shared papers
• Robert \v{S}\'amal 1 shared papers
• V\'aclav Rozho\v{n} 1 shared papers