works on
anti-unification 1completeness 1formal verification 1prototype verification system 1term rewriting 1theorem proving 1

From the 1 of 9 papers with an AI index.

most citedProbing the nature of the state using radiative decays

12 citations

researchers with a paper here
collaborating institutions
Showing math-phShow all

1 paper · 1 filter

math-ph2026

Gauging the Schwarzian Action

A. Pinzul, A. Stern, Chuang Xu

In this work, we promote the global symmetry of the Schwarzian derivative to a local gauge symmetry. To achieve this, we develop a procedure that potentially can…