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