3 ms·
https://hellas.ai https://hellas.ai is building out their category theoretic compiler and protocol for solving this issue
by cmrx64 8mo ago
https://hellas.ai https://hellas.ai is building out their category theoretic compiler and protocol for solving this issue
- tripplyons 8mo agoZKML is a very exciting emerging field, but the math is no where near efficient enough to prove an inference result for an LLM yet. They are probably just trying to sell their crypto token.