SAPSE-Synergy: Balancing Formal Soundness and Empirical Coverage in Neural Theorem Proving.

Minrui Chen, Huidong Jiang, Hiroto Saigo

Browse the full FM paper archive.