Name: Sushma Akoju
Type: User
Company: University of Arizona
Bio: Interested in research towards automata, grammars, first/higher-order logic, proofs in Language after learning on these topics as a hobby since middle school.
Location: virtual (views my own)
Blog: https://orcid.org/0000-0002-3289-1173
Sushma Akoju's Projects
Robust recipes for to align language models with human and AI preferences
Windows, MacOS, Linux
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)
Deep learning model for animal sound classification.
🎼 Translate answer set programs to first-order theorem prover language
The Abstraction and Reasoning Corpus
AutoMATES: Automated Model Assembly from Text, Equations, and Software
Awesome Machine Unlearning (A Survey of Machine Unlearning) : forked for competition
An automated theorem prover for first-order logic.
GoogleApiClient
Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following the idea of the syntax-semantics interface.
Contrastive Language-Image Pretraining
Coalgebras, bisimulation and lambda-coiteration
A collection of guides and examples for the Gemini API.
Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE
CS Achievements
Alex Krizhevsky's original code from Google Code
PyTorch package for the discrete VAE used for DALL·E.
YOLOv4 / Scaled-YOLOv4 / YOLO - Neural Networks for Object Detection (Windows and Linux version of Darknet )
code for deep learning courses
This is a repository for practicing 15121 course material and problems.
An in-depth machine learning tutorial introducing readers to a whole machine learning pipeline from scratch.
Experiments towards neural network theorem proving
Exploratory self-study to learn about Theorem Provers and Turing Completeness.
Spring 2022: Theorem Provers over First Order Logic in Natural Language