this post was submitted on 03 Sep 2025
2 points (100.0% liked)

Ada

58 readers
1 users here now

Ada programming language. For memory safe multi task programming, elegant embedded bit fiddling and everything else in a readable way

founded 4 months ago
MODERATORS
cm0002@programming.dev
cm0002@lemmy.world
2
Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK (arxiv.org)
submitted 2 weeks ago by cm0002@lemmy.world to c/adalang@programming.dev
2 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] brucethemoose@lemmy.world 1 points 2 weeks ago* (last edited 2 weeks ago)

I wonder what the errors were?

This seems like a much better task for a finetune with constrained decoding (with is not possible with OpenAI), though I'm not sure how much 'thinking' about the function needs to be done here.