Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
-
Noeon Research (@noeon-ai)
- Kawasaki, Japan
- masahiro.sakai
- @msakai.bsky.social
- in/masahirosakai
- @masahiro_sakai
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.




