Hacker News new | ask | show | jobs
by janosdebugs 801 days ago
Well spotted, no LLM in sight. We published an academic paper on Broomrocket[1]. Currently, it uses spaCy[2] to process the sentence into a semantic data structure and then uses the placement algorithms to create a list of volumes and placement preferences in 3D space. My wife is currently working on replacing spaCy with a custom NLP library in Rust working purely based on formal methods. This will become a larger product suite in the future.

[1]: https://dl.acm.org/doi/10.1145/3648233 [2]: https://spacy.io/

1 comments

Thanks! Well, if you folks are interested in formal methods and learning, then you might be interested in Inductive Logic Programming. Here's a link to my work:

https://github.com/stassa/louise

The referenced papers include some examples on learning a simple CFG for a small set of Magic: the Gathering examples. More recent work looks at solving mazes and taking names (under review).

One of our PhDs is working to implement all this in Rust btw.

Sorry for advertising my work on your post :)

Awesome, thank you, we are definitely going to take a deeper look!