Automated/neural theorem proving, RL. PhD student at Charles University.
Highlights
- Pro
Stars
7
stars
written in C++
Clear filter
ClickHouse® is a real-time analytics database management system
A library for efficient similarity search and clustering of dense vectors.
C++-based high-performance parallel environment execution engine (vectorized env) for general RL environments.
Procgen Benchmark: Procedurally-Generated Game-Like Gym-Environments
[WIP] Modern compiled low-level programming language in development