You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Implemented CIFAR-10 image classification models in PyTorch, including a custom DenseNet-201 and a baseline CNN, as additional self-directed work motivated by my undergraduate Deep Learning module.
A theoretical and practical study of SAT solving, covering DPLL, CDCL, and restart optimisations through conceptual analysis and implementation. This is for my Undergraduate Dissertation at Royal H…