u/SrPeixinhoin r/haskell • Recommends
SupGen is program synthesizer that outperforms SOTA alternatives using the HVM (which is now in Haskell!)
0:00 / 0:00
#supgen#programsynthesis#dependenttypes
SupGen: an AI-free code synthesis tool (demo)
VictorTaelin
2.1K subscribers • 1 video on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Victor Taelin
Intermediate. Assumes working knowledge.
5.2K views1 year ago1 recommendation
Computer scienceProgramming languagesAlgorithmsComputation and complexityFormal methods and verification
Victor Taelin demonstrates SupGen, a program synthesizer and theorem prover that runs locally without using neural networks or AI models.
DEMO TIME SupGen is a generative coding AI... except it isn't an AI. There is no model, there is no pre-training. You just give it some examples, and it gives you a program. It runs locally, in a single-core CPU. Oh, and it can also prove theorems. Here's a demo, including a brief TT intro. (The synth examples start at the 6 min mark.)Why it's here
1 person recommends thisWhat people say. Recommended as an impressive demonstration of an AI-free program synthesizer based on examples and dependent types.
u/SrPeixinhoin r/functionalprogramming • Recommends
SupGen is an AI-free program synthesizer based on examples or dependent types. It outperforms the SOTA by up to 1000x!
u/SrPeixinhoin r/ProgrammingLanguages • Recommends
SupGen is an AI-free program synthesizer based on examples or dependent types. It outperforms the SOTA by up to 1000x!