✨✨Latest Advances on Neuro-Symbolic Learning in the era of Large Language Models

OD-FinLLM is a refined model derived from the LLaMA series, with specific enhancements for Chinese financial knowledge. This model is built by fine-tuning LLaMA using a specialized instruction data…

Long-Memory

Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts

Retrieval-Augmented Theorem Provers for Lean

Tool for data extraction and interacting with Lean programmatically.

The math library of Lean 4

🎉 Repo for LaWGPT, Chinese-Llama tuned with Chinese Legal knowledge. 基于中文法律知识的大语言模型

Prompt Learning for Vision-Language Models (IJCV'22, CVPR'22)

Open Academic Research on Improving LLaMA to SOTA LLM

PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.

NJUCS成长手册，网址: njucs.top

30 Semi-Supervised Learning Algorithms

The Udacity open source self-driving car project