RSS

Larry Lee

Karma: 6

I am a software engineer specializing in formal verification and statistical analysis. Over the last few years, I’ve worked as a data analyst studying health and social service systems. Prior to that, I used the interactive theorem prover COQ to formally verify hardware designs. I’m passionate about using sound science to improve people’s lives especially those who are vulnerable within society.

You can learn more about me on my website https://​​larrylee.tech.

In­tro­duc­ing the Ev­i­dence Color Wheel

Larry LeeDec 14, 2024, 4:08 PM
6 points
0 comments3 min readLW link

Rep­re­sent­ing Ir­ra­tional­ity in Game Theory

Larry LeeDec 13, 2024, 12:50 AM
−1 points
3 comments11 min readLW link