The project is a semantic parser for Lojban that emits Lean. The specific task was to add the ability to go in reverse - from (a subset of) Lean back to Lojban. So the bot had a corpus of something like 25K test cases that it had to make roundtrip, and instructions to keep going until the test suite is green.

Cool, I'm having all kinds of ideas about the use cases. Would using Loglish (Ben Goertzel's english adaptation) be practical? https://www.goertzel.org/new_research/Loglish.htm

I'm using that to communicate with my AI. Perhaps one day we'll speak a New Ithkuil variant with AI.

Probably asked what’s the Answer to the Ultimate Question of Life, the Universe, and Everything