3 ms·
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.
by int_19h 6mo ago
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.
- fsiefken 6mo agoCool, 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 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.