MechAlign: Evaluating Semantic Alignment at the Project Level in Mathematical Formalization

Not decoded yet

in the queue

This paper is waiting its turn. The original abstract is at the bottom of the page.

From the paper