4 papers
Solvability of meromorphic equations in elementary functions
Miroslav Marinov, Nikola Veselinov
An equation , where is a complex meromorphic function and is a parameter, is solvable in elementary functions if the inverse map can be e…
On the maximal size of -town families
Nikola Veselinov, Miroslav Marinov
A family is an -town if all sets in it have cardinality and all pairwise intersections in it have cardinality $b\pmo…
The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
Jasper Dekoninck, Ivo Petrov, Kristian Minchev +13
In recent months, large language models (LLMs) have made significant progress in mathematical proof generation, but further advancement is hindered by the lack of a large-scale, hi…
On Banzhaf and Shapley-Shubik Fixed Points and Divisor Voting Systems
Alex Arnell, Richard Chen, Evelyn Choi +3
The Banzhaf and Shapley-Shubik power indices were first introduced to measure the power of voters in a weighted voting system. Given a weighted voting system, the fixed point of su…