Combines a neuro-symbolic AI system (see Neural | Symbolic Type) with Attempto Controlled English, which is a controlled natural language that looks like English but is formally defined and as powerful as first order logic.

The user can upload a CSV-file, which is turned into logic language of ACE using an LLM.

Repo: https://github.com/bluebbberry/AceCode