Tag: ai code generation tools
Browse our exclusive articles!
AI-Assisted Verified Code Generation with Dafny Formal Verification
Explore AI-driven verified code generation using Dafny formal verification and advanced prompting to ensure reliable, error-free software development.
SSG: Enhanced Logit-Balanced Watermarking for LLMs
Discover SSG, a logit-balanced vocabulary partitioning method that boosts watermark strength and detectability in large language models.
BLAST: Benchmarking LLMs for ASP Code Generation
Discover BLAST, a novel framework to benchmark large language models' accuracy in generating ASP code with unique semantic metrics.
Execution Feedback Boosts 1-3B Code Generation Models
Discover how execution feedback outperforms complex pipelines in enhancing 1-3B parameter code generation models for better local code refinement.
7 Unconventional Ways to Use Language Models Today
Discover 7 innovative and unconventional applications of language models to boost creativity, learning, coding, mental health, and more.