Skip to content
View thtran97's full-sized avatar
  • TOULOUSE, FRANCE

Highlights

  • Pro

Block or report thtran97

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

A webcam-based 3x3x3 rubik's cube solver written in Python 3 and OpenCV.

Python 616 98 Updated Oct 27, 2024

High-Performance Symbolic Regression in Python and Julia

Python 2,524 225 Updated Dec 27, 2024

PPO implementation of the DRL agent used in the paper "Deep Reinforcement Learning meets Graph Neural Networks: exploring a routing optimization use case"

Python 90 9 Updated Sep 1, 2022

Attention based model for learning to solve different routing problems

Jupyter Notebook 1,130 347 Updated Aug 4, 2024

Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.

Python 42 11 Updated Dec 17, 2024

Solve Rubik's Cube in less than 19 moves on average with Python.

Python 630 98 Updated Mar 3, 2024

A generic rubiks cube solver

Python 95 25 Updated Jun 11, 2024

The AIPlan4EU Unified Planning Library

Python 202 42 Updated Dec 20, 2024

Implementation of "Learning Combinatorial Optimization Algorithms over Graphs"

C++ 496 135 Updated May 25, 2019

Implementation for the paper "Target Cuts from Relaxed Decision Diagrams"

C++ 10 3 Updated Nov 9, 2017
C++ 2 Updated Aug 28, 2020

An open-source library for mathematical programming

C++ 230 42 Updated Dec 27, 2024

Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".

C++ 25 3 Updated Feb 16, 2020

Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization

Python 181 48 Updated Jul 29, 2020

A Python Library for modeling combinatorial constrained problems

Python 63 9 Updated Nov 30, 2024

Awesome machine learning for combinatorial optimization papers.

Python 1,747 205 Updated Sep 5, 2024

Implementation of local search-based algorithms for solving SAT and Max-SAT in Python

Python 13 3 Updated Dec 6, 2020

Exact Combinatorial Optimization with Graph Convolutional Neural Networks (NeurIPS 2019)

Python 359 103 Updated Dec 21, 2021

DeepRL algorithms implementation easy for understanding and reading with Pytorch and Tensorflow 2(DQN, REINFORCE, VPG, A2C, TRPO, PPO, DDPG, TD3, SAC)

Python 324 41 Updated Mar 25, 2023

A pure-Python Held-Karp implementation

Python 30 19 Updated Feb 18, 2016

Implementation of basic CDCL-based SAT solver in Python

Python 7 4 Updated Nov 30, 2020

A Python (re-)implementation of some known knowledge compilers

Python 7 Updated Jul 10, 2021

A Reinforcement Learning Approach to the Orienteering Problem with Time Windows

Python 22 5 Updated Dec 5, 2021

LaTeX templates de l'INSA Toulouse

TeX 12 12 Updated Nov 19, 2024

Repository for benchmarking graph neural networks

Jupyter Notebook 2,538 454 Updated Jun 22, 2023

Fit interpretable models. Explain blackbox machine learning.

C++ 6,336 737 Updated Dec 28, 2024

AI framework for Reinforcement Learning, Automated Planning and Scheduling

Python 145 28 Updated Dec 25, 2024

A toolkit for SAT-based prototyping in Python

Python 400 70 Updated May 12, 2024

Must-read papers on graph neural networks (GNN)

16,143 3,012 Updated Dec 20, 2023
Next