Submissions from github.com/gammatauai

		OpenTau – Using Large Language Models for Gradual Type Inference (github.com/gammatauai)
		2 points by bcjordan on Aug 13, 2023 \| past
		GPT4 Learning from Reflection (github.com/gammatauai)
		3 points by agomez314 on April 2, 2023 \| past
		Using OpenAI Codex's “DaVinci-Edit” Model for Gradual Type Inference (github.com/gammatauai)
		3 points by elleven on Oct 25, 2022 \| past