🔧 MLIR - gip · Scour

AI-powered toys entering Chinese children's playrooms 🛡️AI Safety

Do birds have accents? The fascinating regional differences in birdsong 💧Ripple

theconversation.com·1d

Why Cybersecurity Must Rethink Defense in the Age of Autonomous Agents 🛡️AI Safety

securityweek.com·6d

Books and slides from Markdown: Quarkdown 2.0 is here ⚙️Programming

heise.de·5d·Hacker News

MiMo-V2.5 Voice - 适用于方言、代码转换和歌曲的双语语音识别 🤖AI

producthunt.com

·4d

Large Language Models for Multilingual Code Intelligence: A Survey 🛡️AI Safety

DSQL SQL Dialect: How Amazon Aurora DSQL differs from single-instance PostgreSQL ✅Formal Verification

aws.amazon.com·3d

TDD Governance for Multi-Agent Code Generation via Prompt Engineering 🤖AI

An Empirical Study of Speculative Decoding on Software Engineering Tasks 🤖AI

CoRE: A Fine-Grained Code Reasoning Benchmark Beyond Output Prediction ✅Formal Verification

When Prompt Under-Specification Improves Code Correctness: An Exploratory Study of Prompt Wording and Structure Effects on LLM-Based Code Generation ✅Formal Verification

MEMCoder: Multi-dimensional Evolving Memory for Private-Library-Oriented Code Generation 🤖AI

No Test Cases, No Problem: Distillation-Driven Code Generation for Scientific Workflows ✅Formal Verification

An Empirical Evaluation of Locally Deployed LLMs for Bug Detection in Python Code 🤖AI

Evaluation of LLM-Based Software Engineering Tools: Practices, Challenges, and Future Directions ✅Formal Verification

Benchmarking Testing in Automated Theorem Proving ✅Formal Verification

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation ✅Formal Verification

Defective Task Descriptions in LLM-Based Code Generation: Detection and Analysis ✅Formal Verification

DryRUN: On the Role of Public Tests in LLM-Driven Code Generation ✅Formal Verification

SAFEdit: Does Multi-Agent Decomposition Resolve the Reliability Challenges of Instructed Code Editing? 🛡️AI Safety

Log in to enable infinite scrolling