Automated/neural theorem proving, RL. PhD student at Charles University.
Highlights
- Pro
Stars
1
star
written in MLIR
Clear filter
Development repository for the Triton language and compiler