Some concepts may have similar names but are not the same.
A "is distinct from" link would:
- Help users disambiguate look-alikes they'd otherwise conflate.
- Give the alignment pipeline negative training signal (these pairs should not be merged).
- Inform the LLM judges (these are known hard negatives).
Questions
- Which sources can we use for these links?
- Use judges to distinguish between same name concepts in different areas of mathematics?
Some concepts may have similar names but are not the same.
A "is distinct from" link would:
Questions