3 papers
cs.CC2026
Black-Box PWPP Is Not Turing-Closed
Pavel HubáÄek
We establish that adaptive collision-finding queries are strictly more powerful than non-adaptive ones by proving that the complexity class PWPP (Polynomial Weak Pigeonhole Princip…
cs.CL2026
Bolzano: Case Studies in LLM-Assisted Mathematical Research
Martin Balko, Jan GrebÃk, Pavel HubáÄek +5
We report new results on eight problems in mathematics and theoretical computer science, produced with the assistance of Bolzano, an open-source multi-agent LLM system. Bolzano orc…
cs.CR2025
Foundations of Fiat-Denominated Loans Collateralized by Cryptocurrencies
Pavel HubáÄek, Jan Václavek, Michelle Yeo
The rising importance of cryptocurrencies as financial assets pushed their applicability from an object of speculation closer to standard financial instruments such as loans. In th…