Projects

Here we share several projects:

1. Biblical AI Initiative

2. AI-Assisted Mathematical Theorem Proof

3.  Triple-E theory for AI & QI