Adri\'an Z\'ame\v{c}n\'ik

Identifiers

No identifiers captured yet.

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

• Jan Greb\'ik 1 shared papers
• Martin Balko 1 shared papers
• Martin Kouteck\'y 1 shared papers
• Mat\v{e}j Kripner 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