sushmaakoju
Interested in research towards automata, grammars, first/higher-order logic, proofs in Language after learning on these topics as a hobby since middle school.
University of Arizonavirtual (views my own)
Pinned Repositories
Animal-sound-recognition
Deep learning model for animal sound classification.
basic-theorem-prover
An automated theorem prover for first-order logic.
coalgebras
Coalgebras, bisimulation and lambda-coiteration
demo-ATLS5214
Exploratory self-study to learn about Theorem Provers and Turing Completeness.
markov-logic-networks
Statistics 5000, Fall 2021, Final Project : Markov Logic Networks
nlp-bio-bert
NLP Fall 2021 : BIO tags over biomedical data using BIO-BERT
nlp-final-2021-pcl-semeval2022-task
NLP Fall 2021 : SemEval 2022 Patronizing and Condescending Language Detection (PCL) Task 4
polynomial-equation-parser
A proof-of-concept implementation of polynomial equation parser in Python
reasoning-knowledge-representation
Data Mining Fall 2021: StrategyQA, EntailmentBank, Abstract Meaning Representation (AMR) and Logical Neural Networks (LNNs)
sushmaakoju's Repositories
sushmaakoju/dataflowr.notebooks
code for deep learning courses
sushmaakoju/demo-ATLS5214
Exploratory self-study to learn about Theorem Provers and Turing Completeness.
sushmaakoju/DL4TP
A Survey on Deep Learning for Theorem Proving
sushmaakoju/ml-ferret
sushmaakoju/research-experience
Research experience
sushmaakoju/vec2text
utilities for decoding deep representations (like sentence embeddings) back to text
sushmaakoju/nlp-final-2021-pcl-semeval2022-task
NLP Fall 2021 : SemEval 2022 Patronizing and Condescending Language Detection (PCL) Task 4
sushmaakoju/alignment-handbook
Robust recipes for to align language models with human and AI preferences
sushmaakoju/clulab-releases
sushmaakoju/cookbook
A collection of guides and examples for the Gemini API.
sushmaakoju/cs_achievements
CS Achievements
sushmaakoju/dla
Deep learning for audio processing
sushmaakoju/esslli_neural_symbolic
Course resources and notes for the ESSLLI 2023 course on neural symbolic methods.
sushmaakoju/experimental-exploratory-analysis
sushmaakoju/GitHub-Achievements
🔥 A Complete List of GitHub Profile Badges and Achievements 🔥
sushmaakoju/GML2023
Graph Machine Learning course, Xavier Bresson, 2023
sushmaakoju/image_sampling
sushmaakoju/LLM101n
LLM101n: Let's build a Storyteller
sushmaakoju/LLMJudge
LLMJudge: LLM4Eval workshop data challenge on automatic relevance judgment
sushmaakoju/Melting-Pot-Contest-2023
sushmaakoju/mturk-task-helper
sushmaakoju/named-entity-text-extraction-ocr-slave-trade-volumes
sushmaakoju/paradox-learning2reason
sushmaakoju/skema-weekly-status
sushmaakoju/skiing-data-visualization
sushmaakoju/starting-kit
Starting kit for the NeurIPS 2023 unlearning challenge
sushmaakoju/stat-5010-final-project
CU Boulder STATS 5010
sushmaakoju/sushmaakoju.github.io
My template for Profile website.
sushmaakoju/Tensor-Puzzles
Solve puzzles. Improve your pytorch.
sushmaakoju/vision-lstm
xLSTM as Generic Vision Backbone