Main-line Open-Access Little Learner Model. (https://src.ne-app.eu) Designed for Formal Reasoning.
TeX Updated about 1 month ago 1 commits 6 stars
sigma-ai|Mirror: ne-app-research/ll-1 (⭐6)
about 1 month agoAbout
Main-line Open-Access Little Learner Model. (https://src.ne-app.eu) Designed for Formal Reasoning.
Readme
6 stars
1 forks