Diagnosing Sampled LLM Reasoning in Formal Geometry: Coverage, Realization, and Validity Evidence
Results show that coverage, realization, and validity evidence from the critic are distinct quantities and should be reported separately.
We have 2 of 7 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Results show that coverage, realization, and validity evidence from the critic are distinct quantities and should be reported separately.
The controlled version of MV-GTA uses deterministic, verifiable text segments; isolated text encoders; view-specific graph heads; and relevance derived from external labels or RDKit descriptors, but does not establish free-form routing, consistent three-view specialization, statistical equivalence to specialists, or su...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.