Viewing profile — prince617

prince617

HN member

No profile information was provided.

comment
Comment #40639501
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.

Mon, Jun 10, 2024, 9:41 PM UTC
story
Verified Code Transpilation with LLMs
Mon, Jun 10, 2024, 3:42 PM UTC
comment
Comment #40630422
Mon, Jun 10, 2024, 5:19 AM UTC
story
Comment #40630421
Mon, Jun 10, 2024, 5:19 AM UTC
story
Data Structure Synthesizer for Rails
Wed, Aug 05, 2020, 5:59 PM UTC
comment
Comment #18755919
You might want to check out this related work: http://casper.uwplse.org

Tue, Dec 25, 2018, 4:36 AM UTC