Works elsewhere under the name Cezary Kaliszyk
One page per author name as the sources print it. Not a Papex account.
2 works
- Munkres' General Topology Autoformalized in Isabelle/HOL · arXiv · 08 Apr 2026
- Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents · arXiv · 06 Mar 2026
Named here, or see a mistake? Write to privacy@papex.org.