University of Manchester

non-profit

https://neuro-symbolic-ai.github.io/

AI & ML interests

None defined yet.

UoM-CS-NeuroSymbolicAI 's models 16

UoM-CS-NeuroSymbolicAI/checkpoints-lm-infer-type-reason

Updated May 27, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-math-reason-query-add

Updated May 26, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-syllogistic-reason-query-add

Updated May 25, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-infer-type-reason-query-add

Updated May 21, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-syllogistic-reason-kv-mem

Updated May 16, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-syllogistic-reason-kv-add

Updated May 15, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-infer-type-reason-kv-mem

Updated May 14, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-infer-type-reason-kv-add

Updated May 14, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-math-reason-4k-qk-add

Updated May 8, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-math-reason-0.5k-kv-add

Updated May 6, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-math-reason-2k-kv-add

Updated May 6, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-math-reason-6k-kv-add

Updated May 6, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-lm-math-reason

Updated May 6, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-math-reason-4k-query-add

Updated May 6, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-math-reason-4k-kv-add

Updated May 6, 2025

UoM-CS-NeuroSymbolicAI/checkpoints-vae-lm-math-reason-4k-kv-mem

Updated May 6, 2025