Popular repositories Loading

1. super_model super_model Public

   This MNIST model uses a Multi-Layer Perceptron with 669,706 parameters. It takes 784 inputs, passes through two 512-unit ReLU layers, and outputs 10 classes, enabling effective handwritten digit cl…

   Jupyter Notebook

2. neurosymbolic_pitch neurosymbolic_pitch Public

   A VersoSlides presentation on Neurosymbolic AI and Formal Verification, exploring Lean 4 ecosystems like TorchLean and Velvet to ensure trustworthiness in AI-synthesized software and neural networks.

   HTML

3. algebraic-geometry-commutative-algebra-internship algebraic-geometry-commutative-algebra-internship Public

   Internship report and research notes on Algebraic Geometry and Commutative Algebra, covering affine and projective varieties, Noetherian rings, prime spectra, and related topics. Research conducted…

4. lenet-inspired-cnn-mnist lenet-inspired-cnn-mnist Public

   A PyTorch implementation of a LeNet-inspired convolutional neural network for handwritten digit classification on MNIST, trained with Adam and evaluated using accuracy and cross-entropy loss.

   Jupyter Notebook

5. torchvision-backbones-toolkit torchvision-backbones-toolkit Public

   PyTorch utilities for pretrained VGG19, ResNet18, and ResNet34: ImageNet-1k inference, custom classification heads for transfer learning, and embedding extractors for downstream tasks like retrieva…

   Jupyter Notebook