ne-app-research/ll-m

Main-line Open-Access LL-M Model. (https://src.ne-app.eu) Designed for Formal Reasoning.

语言：TeX · GitHub 星标：6 · Fork：1

话题：abstract-algebra · algrebaic-topology · differential-equations · differential-geometry · lean4 · lisp · llm · machine-learning

在 GitHub 上查看原仓库