Usu math faculty. Hotel Vaishali Inn. LLM Reasoning benchmark leaderboard. Nutwood crossword clue.