Zulip Chat Archive

Stream: general

Topic: Moogle is down?


Luigi Massacci (May 10 2024 at 08:44):

Moogle is currently not returning any result (at least for me) @Jesse Michael Han thought you might want to know

Utensil Song (May 11 2024 at 01:42):

Moogle seems to be still down. Is there a local equivalent with some MorphLabs LLM+RAG?

Utensil Song (May 11 2024 at 01:44):

Preferrable with a local Mathlib or some formalization project build, needing only source or oleans.

Jesse Michael Han (May 11 2024 at 02:37):

sorry about this! we had a backend crash which has now been fixed

Asei Inoue (May 11 2024 at 13:21):

@Jesse Michael Han Thank you!


Last updated: May 02 2025 at 03:31 UTC