conf.researchr.org / Edward Kmett
Registered user since Mon 23 Aug 2021
Name:Edward Kmett
Bio:
I write a lot of Haskell.
Country:United States
Affiliation:Positron AI
Personal website: https://positron.ai/
X (Twitter): https://x.com/kmett
GitHub: https://github.com/ekmett
Research interests:Large Language Models, Lenses, Category Theory, Substructural Type Theories, Logic Programming, Probabilistic Programming, Hardware Verification
Contributions