Self-advertisement works by having each candidate method propose, before ranking, which part of the goal it targets, what action it would take, and what conditions that action requires.
Formal provers select methods better when methods state how they apply
Yuan et al. introduce self-advertisement with Method Contracts, raising hit@5 to 95% on Putnam 2015-2025.
Big Tech
Xiaopeng Yuan · Suijin Wang · Yanli Wang · Haibo Jin · Peng Kuang · Jerry Wang · +2 more
University of Illinois at Urbana-Champaign · Tsinghua University · Imperial College London · Google
Research Digest··2 min read
Yuan et al.
Why this paper
From Google and 3 others
In one line
Self-advertisement selects applicable methods by having each propose its own use, achieving 95% hit@5 on Putnam proofs.
What we could check
- ·No code link found
- ·No weights link found
- ·No dataset link found
- ·No compute details found
- ✓Limitations stated by the authors (2 noted)
- ✓Reports numbers on named benchmarks (2 benchmarks)
Observed from the paper text and links we have. Absence here means we did not find it, not that it does not exist.
§