| namin/llm-verified-with-monte-carlo-tree-search |
143 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
mit |
Python |
| LLM verified with Monte Carlo Tree Search |
| erp12/pyshgp |
60 |
|
0 |
0 |
almost 3 years ago |
9 |
August 18, 2020 |
13 |
mit |
Python |
| Push Genetic Programming in Python. |
| lucidrains/pi-GAN-pytorch |
53 |
|
0 |
0 |
about 5 years ago |
10 |
February 22, 2021 |
3 |
mit |
Python |
| Implementation of π-GAN, for 3d-aware image synthesis, in Pytorch |
| MaximIntegratedAI/ai8x-synthesis |
46 |
|
0 |
0 |
over 2 years ago |
0 |
|
2 |
apache-2.0 |
Python |
| Quantization and Synthesis (Device Specific Code Generation) for ADI's MAX78000 and MAX78002 AI Devices |
| eve-mas/eve-parity |
16 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
gpl-3.0 |
Python |
| Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of concurrent and multi-agent systems. |
| NaverCloudPlatform/android-ai-sample |
6 |
|
0 |
0 |
about 6 years ago |
0 |
|
1 |
|
Java |
