Stars
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
This repository contains a collection of laboratory assignments and projects in Cognitive Neuroscience and Computational Neurobiology. The project is organized into four main modules, each focusing…
K Semantics of the Ethereum Virtual Machine (EVM)
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Symbolic-execution-based verifier for the Viper intermediate verification language.
The efficient SMT-based context-bounded model checker (ESBMC)
[CAV 2025] Supermartingale Certificates for Quantitative Omega-regular Verification and Control
This repository contains a collection of Natural Language Processing (NLP) projects completed as assignments for the NLP course at Sharif University of Technology. Each project demonstrates differe…
This repository collects lecture slides, assignments (CAs), code notebooks, reports, and reference papers used in the "Deep Generative Models" course (University of Tehran). The materials are organ…
This repository contains machine learning assignments and a final project from the University of Tehran. The assignments cover regression, classification, optimization, deep learning, and clusterin…
This is the official repository of the article "SLOTMFound: Foundation-Based Diagnosis of Multiple Sclerosis Using Retinal SLO Imaging and OCT Thickness-maps".
AliAtaollahi / HybridRebecaReachabilityAnalysis
Forked from SaeedZhiany/HybridRebecaReachabilityAnalysisA compiler for the FunctionCraft language using ANTLR4, designed as a TA for the Compiler course at the University of Tehran (Spring 2024)
A compiler developed using ANTLR in Java that translates Solidity smart contracts into mCRL2 models
Main repository for the Data Science Course offered at the University of Tehran
A Connect 4 bot powered by the Minimax algorithm. This project showcases an intelligent game-playing agent that evaluates moves, predicts opponent strategies, and competes effectively in the classi…
From scratch Python implementation of a genetic algorithm that recreates a target image via triangles.
A curated list of valuable resources from our studies at the University of Tehran (UT), School of Electrical and Computer Engineering (ECE)
NLP Course Projects/ University of Tehran/ Spring 2024