Kiarahmani

Kia Rahmani's starred repositories

the-algorithm

Source code for Twitter's Recommendation Algorithm

Language:ScalaAGPL-3.061800 373 965

bert

TensorFlow code and pre-trained models for BERT

Language:PythonApache-2.037551 996 1142

semantic-kernel

Integrate cutting-edge LLM technology quickly and easily into your apps

Language:C#MIT20851 264 2819

baselines

OpenAI Baselines: high-quality implementations of reinforcement learning algorithms

Language:PythonMIT15535 649 849

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:HTMLMIT10062 24 536

promptbase

All things prompt engineering

Language:PythonMIT5273 60 13

PettingZoo

An API standard for multi-agent reinforcement learning environments, with popular reference environments and related utilities

Language:PythonNOASSERTION2475 20 366

multiagent-particle-envs

Code for a multi-agent particle environment used in the paper "Multi-Agent Actor-Critic for Mixed Cooperative-Competitive Environments"

Language:PythonMIT2289 178 82

Minigrid

Simple and easily configurable grid world environments for reinforcement learning

Language:PythonNOASSERTION2051 39 185

robotics_transformer

Language:PythonApache-2.01260 25 25

awesome-rl-envs

1004 30 4

procgen

Procgen Benchmark: Procedurally-Generated Game-Like Gym-Environments

Language:C++MIT992 144 75

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTNOASSERTION985 35 2555

iGibson

A Simulation Environment to train Robots in Large Realistic Interactive Scenes

Language:PythonMIT630 40 333

panda-gym

Set of robotic environments based on PyBullet physics engine and gymnasium.

Language:PythonMIT496 7 65

LLM-scientific-feedback

Can large language models provide useful feedback on research papers? A large-scale empirical analysis.

Language:PythonCC-BY-4.0480 4 26

seahorn

SeaHorn Verification Framework

Language:CNOASSERTION434 20 199

mazelab

A customizable framework to create maze and gridworld environments

Language:Python258 9 9

crab

A library for building abstract interpretation-based analyses

Language:C++Apache-2.0227 12 41

awesome-explainable-reinforcement-learning

A Survey on Explainable Reinforcement Learning: Concepts, Algorithms, Challenges

188 60

corels

Learning Certifiably Optimal Rule Lists

Language:C++GPL-3.0171 16 19

coauthor

Convert natural language to LaTeX within Overleaf using LLMs

Language:JavaScript119 5 2

alexa-arena

Language:PythonLGPL-2.199 4 1

kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

Language:OCamlApache-2.084 6 84

bddl

Language:Jupyter NotebookMIT67 23 159

SocialGym2

SocialGym 2: A lightweight benchmark and simulator for multi-robot social navigation using ROS and the OpenAI gym.

Language:PythonMIT49 70

signal-temporal-logic

A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has Python bindings!

Language:C++MIT36 5 4

benchmarks

Repository of benchmarks for SYNTCOMP

Language:PythonNOASSERTION8 4 33

ltlf_prism

Language:PythonBSD-3-Clause4 30

pyvmt

Python library to create and check finite and infinite state transition systems

Language:PythonApache-2.03 30