Works elsewhere under the name Mikoláš Janota
One page per author name as the sources print it. Not a Papex account.
2 works
- Proving at Scale for Universal Algebra · arXiv · 01 Oct 2026
- LLM2SMT: Building an SMT Solver with Zero Human-Written Code · arXiv · 06 Mar 2026
Named here, or see a mistake? Write to privacy@papex.org.