1 citations · 1 across the 4 of their papers we have counts for
4 papers
LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models
Brian Rabern, Philipp Mondorf, Barbara Plank
Large language models perform well on many logical reasoning benchmarks, but it remains unclear which core logical skills they truly master. To address this, we introduce LogicSkil…
Structural fixed-point theorems
Brian Rabern, Landon Rabern
The semantic paradoxes are associated with self-reference or referential circularity. However, there are infinitary versions of the paradoxes, such as Yablo's paradox, that do not…
Playing cards with Vizing's demon
Brian Rabern, Landon Rabern
We analyze a solitaire game in which a demon rearranges some cards after each move. The graph edge coloring theorems of Kőnig (1931) and Vizing (1964) follow from the winning strat…
A Novel Proof of the Heine-Borel Theorem
Matthew Macauley, Brian Rabern, Landon Rabern
Every beginning real analysis student learns the classic Heine-Borel theorem, that the interval [0,1] is compact. In this article, we present a proof of this result that doesn't in…