会员服务
程序猿的天敌 有时是一个不能碰的magic
JupOtter: Cell-Level Bug Detection in Jupyter Notebooks
Arxiv
0+阅读 · 6月22日
VeriPilot: An LLM-Powered Verilog Debugging Framework
Arxiv
0+阅读 · 6月22日
Learning Bug Context for PyTorch-to-JAX Translation with LLMs
Arxiv
0+阅读 · 6月22日
ARVO: Atlas of Reproducible Vulnerabilities for Open-Source Software
Arxiv
0+阅读 · 6月19日
ARVO: Atlas of Reproducible Vulnerabilities for Open-Source Software
Arxiv
0+阅读 · 6月18日
FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
Arxiv
0+阅读 · 6月18日
Model Collapse Is Not a Bug but a Feature in Machine Unlearning for LLMs
Arxiv
0+阅读 · 6月17日
SAGE: Semantic-Aware Gray-Box Game Regression Testing with Large Language Models
Arxiv
0+阅读 · 6月18日
Automated Root-Cause Subclassification and No-Code Fix Generation for Invalid Bug Reports
Arxiv
0+阅读 · 6月4日
Sketch Bug: Using Sketch-Based Input for Interactive Code Debugging
Arxiv
0+阅读 · 5月22日
Agentic Fuzzing: Opportunities and Challenges
Arxiv
0+阅读 · 5月11日
A Principled Framework for Safe Algorithm Updates in Automated Insulin Delivery Systems
Arxiv
0+阅读 · 6月11日
Broken Object Level Authorization in the Wild: An Empirical Taxonomy from 100+ Bug Bounty Disclosures
Arxiv
0+阅读 · 5月25日
Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
Arxiv
0+阅读 · 5月12日
ProDebug: An Automated Debugging System for Prolog
Arxiv
0+阅读 · 5月26日
参考链接
微信扫码咨询专知VIP会员
Top