Non-Conceptual Knowledge SystemsDelves into the impact of deep learning on non-conceptual knowledge systems and the advancements in transformers and generative adversarial networks.
Mathgraph Theorem ProverIntroduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.
