Skip to content
View omidiu's full-sized avatar

Highlights

  • Pro

Block or report omidiu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
omidiu/README.md

Omid Saghatchian

Software Engineer and Machine Learning Researcher

I build reliable software systems and study how large language models reason about programs. My current interests include LLM reasoning, program semantics, efficient generative models, and AI-enabled software systems.

  • 💼 Software Engineer at Argoman, leading the development of HR technology products
  • 🎓 M.Sc. student in Data Mining at Shahid Beheshti University
  • 🔬 Researching reliable and verifiable LLM reasoning about program transformations
  • 🧮 B.Sc. in Mathematics and Applications from Amirkabir University of Technology

Google Scholar · LinkedIn · Medium


Selected Research and Projects

CA-ToMe — Cached Adaptive Token Merging

A training-free method for accelerating diffusion-model inference by adaptively merging similar tokens and caching token-pair information across denoising steps.

My work focused on reducing redundant self-attention computation while preserving image-generation quality.

Paper · Code


EquiBench — LLM Reasoning About Program Semantics

A research benchmark for evaluating whether large language models can reason reliably about semantic relationships between programs.

Rather than evaluating only binary equivalence predictions, EquiBench studies whether models can:

  • Identify semantics-preserving and semantics-altering transformations
  • Explain why program behavior is preserved or changed
  • Produce consistent reasoning across related examples
  • Generate explanations that can be checked systematically

Status: Research in progress.


Mini-Torch

An educational deep-learning framework created to explain how systems such as PyTorch work internally.

Mini-Torch implements concepts including tensors, automatic differentiation, computation graphs, neural-network modules, and optimization using a compact, readable architecture.

Repository


Current Research

My master’s research investigates the reliability of large language models in reasoning about semantic relationships between programs.

The work develops a structured evaluation framework for determining whether LLMs can move beyond simple equivalence classification and provide reasoning that is consistent, structured, and verifiable.

This research is conducted in collaboration with Dr. Khashayar Etemadi.


Selected Engineering Experience

Argoman — Software Engineer

I lead a software-engineering squad developing HR-related products. Our work translates business requirements into maintainable systems using Domain-Driven Design principles.

I am also exploring how AI agents can improve product workflows, automate repetitive operations, and support more intuitive user experiences.

Yektanet — Software Engineer

I worked at Yektanet, one of Iran’s leading advertising-technology companies, contributing to high-throughput distributed systems.

My work included OpenRTB-based SSP integrations, CTR prediction services, video-advertising systems, internal tools, and production monitoring using technologies such as Python, Kafka, PostgreSQL, Redis, gRPC, Sentry, and Grafana.


Education and Teaching

  • M.Sc. in Data Mining, Shahid Beheshti University
  • B.Sc. in Mathematics and Applications, Amirkabir University of Technology
  • Lead Teaching Assistant for Data Mining, Computational Data Mining, Deep Learning, Linear Algebra, and User Interface Design

Writing

Decision Tree Implementation from Scratch and Visualization

An implementation-focused explanation of decision-tree construction and visualization.

Read on Medium


Contact

I am interested in research and engineering collaborations related to:

  • Reliable LLM reasoning
  • Program analysis and code intelligence
  • Efficient machine-learning systems
  • AI-assisted software products

Email · LinkedIn

Pinned Loading

  1. ca_tome ca_tome Public

    Official implementation of CA-ToMe for stable diffusion models paper

    Python 5

  2. Mini-Torch Mini-Torch Public

    MiniTorch is an educational library that recreates core PyTorch features using only Python and NumPy. For more information, please read the README.md file.

    Jupyter Notebook 49 2

  3. GPT-2-Fine-Tuning GPT-2-Fine-Tuning Public

    Fine-tune GPT-2 with SQuAD using distilgpt2 🤗. Evaluate results with perplexity. Share the trained model on Hugging Face Hub.

    Jupyter Notebook 5 1

  4. Implement-Decision-Tree Implement-Decision-Tree Public

    This repository contains the code for the "Decision Tree Implementation From Scratch + Visualization" Medium article.

    Jupyter Notebook 1

  5. Minesweeper-Web Minesweeper-Web Public

    A classic Minesweeper game implemented using HTML, CSS, and JavaScript.

    JavaScript