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