GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — mahdims - Overview

@mahdims mahdims Follow
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
@mahdims
mahdims
Follow
View mahdims's full-sized avatar

Mahdi Mostajabdaveh mahdims

Follow
Principal OR/AI Scientist at Kinaxis. Agent reasoning, automated algorithm discovery, and mathematical optimization.
57 followers · 10 following
  • https://mahdims.github.io/
  • https://ca.linkedin.com/in/mahdi-mostajabdaveh
  • https://scholar.google.com/citations?user=TKmUJokAAAAJ&hl=en

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Starstruck
More
  • Overview
  • Repositories
  • Projects
  • Packages
  • Stars
mahdims/README.md

Mahdi Mostajabdaveh

Principal OR/AI Scientist at Kinaxis · AI research and technical leadership

I build AI systems for reasoning, algorithm discovery, and optimization. At Kinaxis, I lead AI acceleration for a production solver and evaluation of coding agents. Previously, I led AI research for Huawei's OptVerse solver, shipped a routing engine used by 20+ enterprise customers, and developed OptvEvolve.

Our OptVerse-CityU team won first place in the 2026 CVRPLIB Best Known Solutions Challenge, with 51 new best-known solutions.

Research: agents and memory; algorithm discovery and learned search; language to formal models; optimization methods. Work includes MASPRM, SEDIMA, EvoCut, Latent Heuristic Search, COAgents, ORQA, NL4Opt, and AILS-Enhanced.

I connect AI proposals with reliable tests: feasibility, objectives, bounds, benchmarks, and held-out instances. My work has appeared at NeurIPS, AAAI, ACL, EJOR, and INFOR. I am lead inventor on multiple filed patents.

Ph.D. in operations research; postdoctoral fellow with Michel Gendreau at Polytechnique Montréal.

Website · Publications

Pinned Loading

  1. Branch-and-price- Branch-and-price- Public

    This is my implementation of a branch and price algorithm to solve the humanitarian aid distribution problem. This problem is a VRP with a specific objective function

    Python 61 13

  2. nl4opt/nl4opt-competition nl4opt/nl4opt-competition Public

    Natural Language for Optimization Modelling

    Shell 81 10

  3. COAgents COAgents Public

    Official code for "COAgents: Multi-Agent Framework to Learn and Navigate Routing Problems Search Space" (LION 2026). Three learned agents (node selection, move selection, jump) orchestrate local se…

    Python 3

  4. milad1378yz/EvoCut milad1378yz/EvoCut Public

    EvoCut: Automatic generation of acceleration cuts for integer programs via evolutionary search and LLMs.

    Python 11 2

  5. researchmate researchmate Public

    Stay current on high-quality work at the Operations Research × AI intersection. A research agent performs deep, multi-pass analysis of each paper, scores relevance, and curates what matters, helpin…

    Python 11 1

  6. EvoCode EvoCode Public

    LLM-guided evolutionary framework for evolving code components, plug in your own domain, builder, and evaluator.

    Python

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

Uh oh!

There was an error while loading. Please reload this page.

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.