15 citations · 19 across the 5 of their papers we have counts for
6 papers
Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization
Anna Mei, Michael R. Douglas
We introduce a novel method for verifying Lean formalizations that goes beyond LLM-judged faithfulness. Unlike most verification methods, which rely on LLMs or trained models, our…
The spacetime geodesy of perfect fluid spheres
Christopher Simmonds, Matt Visser
Herein we shall argue for the utility of "spacetime geodesy", a point of view where one delays as long as possible worrying about dynamical equations, in favour of the maximal util…
On the arithmetic average of the first primes
Matt Visser
The arithmetic average of the first primes, , exhibits very many interesting and subtle properties. Since the transformation from $p_n \…
The n-th prime exponentially
Matt Visser
From known effective bounds on the prime counting function of the form \[ |π(x)-\mathrm{Li}(x)| < a \;x \;(\ln x)^{b} \; \exp\left(-{c}\; \sqrt{\ln x}\right); \qquad (x \geq x_0);…
Emergent Time and Time Travel in Quantum Physics
Ana Alonso-Serrano, Sebastian Schuster, Matt Visser
Entertaining the possibility of time travel will invariably challenge dearly held concepts of fundamental physics. It becomes relatively easy to construct multiple logical contradi…
Warped space-time for phonons moving in a perfect nonrelativistic fluid
Uwe R. Fischer, Matt Visser
We construct a kinematical analogue of superluminal travel in the ``warped'' space-times curved by gravitation, in the form of ``super-phononic'' travel in the effective space-time…