Search results

Add "is distinct from" link type for look-alike concepts

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#15 In katjabercic/mathswitch;

· katjabercic opened on May 2, 2026

Add Mathlib as a source

data sourcesSlurpers and relatedSlurpers and related

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#14 In katjabercic/mathswitch;

· katjabercic opened on May 2, 2026

Explore MathBERT for clustering related concepts

enhancementNew feature or requestNew feature or request

questionFurther information is requestedFurther information is requested

Status: Open.

#13 In katjabercic/mathswitch;

· katjabercic opened on May 2, 2026

Clean up item display names

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In katjabercic/mathswitch;

· katjabercic opened on May 2, 2026

Survey ground-truth sources for evaluation

Status: Open.

#11 In katjabercic/mathswitch;

· katjabercic opened on May 2, 2026

Add House of Graphs graph invariants as a source

data sourcesSlurpers and relatedSlurpers and related

Status: Open.

#10 In katjabercic/mathswitch;

· katjabercic opened on May 2, 2026

·  

Structured-database coverage

Add π-Base spaces and properties as a source

data sourcesSlurpers and relatedSlurpers and related

Status: Open.

#9 In katjabercic/mathswitch;

· katjabercic opened on May 2, 2026

·  

Structured-database coverage