热点
"正确性验证" 相关文章
Challenges in Testing Large Language Model Based Software: A Faceted Taxonomy
cs.AI updates on arXiv.org 2025-10-22T04:26:57.000000Z
On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability
cs.AI updates on arXiv.org 2025-09-12T04:19:10.000000Z
Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
cs.AI updates on arXiv.org 2025-07-18T04:13:39.000000Z
告别CUDA无需Triton！Mirage零门槛生成PyTorch算子，人均GPU编程大师？
机器之心 2024-10-06T14:11:53.000000Z