prince617

4 ms·

1. 1.▲
   by prince617 2y ago

   The paper states that they iterate multiple times with the LLM and only take answers that don't contain hallucinations and can pass the proof engine.
2. 2.▲
   Verified Code Transpilation with LLMs(arxiv.org)

   13 points by prince617 2y ago|4 comments
3. 3.▲
   Data Structure Synthesizer for Rails(github.com)

   1 points by prince617 6y ago|0 comments
4. 4.▲
   by prince617 8y ago

   You might want to check out this related work: http://casper.uwplse.org