会员服务
软件（中国大陆及香港用语，台湾作软体，英文：Software）是一系列按照特定顺序组织的计算机数据和指令的集合。一般来讲软件被划分为编程语言、系统软件、应用软件和介于这两者之间的中间件。软件就是程序加文档的集合体。
Neuro-Symbolic Software Verification: Hyper-charging Local Language Models with Symbolic Reasoning at Scale
Arxiv
0+阅读 · 6月15日
A Lean 4 Formalization of Euclidean Domain Algorithms from a 1986 Icon Experimentation Package
Arxiv
0+阅读 · 6月14日
Towards LLM Accelerated Rapid Reviews for Software Tool Discovery -- Case for Log Anomaly Detection
Arxiv
0+阅读 · 6月15日
The Right Call for Software Benchmarking: Consistent Decisions in Stateful Environments
Arxiv
0+阅读 · 6月15日
Quantum-HPC Software Stacks and the openQSE Reference Architecture: A Survey
Arxiv
0+阅读 · 6月15日
Supporting the Adoption of Privacy-Enhancing Technologies through Requirements Engineering
Arxiv
0+阅读 · 6月16日
LLM-as-Judge in Education: A Curriculum-Grounded Marking Pipeline
Arxiv
0+阅读 · 6月16日
SoK: AI-Augmented Binary Reversing
Arxiv
0+阅读 · 6月16日
Anywhere, Any-Stymie: Remote Activation of Trojan Malware on LiDAR with Modulated Signals
Arxiv
0+阅读 · 6月16日
Credibility-Weighted Pricing of Autonomous Vehicle Liability Under Operational Design Domain Shift
Arxiv
0+阅读 · 6月16日
MASCOT-Android: A Curated Dataset and Automated Collection Pipeline for Android Malware Source Code Specimens
Arxiv
0+阅读 · 6月16日
Bifrost: Hybrid TEE-FHE Inference for Privacy-Preserving Transformer and LLM Serving
Arxiv
0+阅读 · 6月16日
Position: Coding Benchmarks Are Misaligned with Agentic Software Engineering
Arxiv
0+阅读 · 6月16日
Software Delegation Contracts: Measuring Reviewability in AI Coding-Agent Work
Arxiv
0+阅读 · 6月14日
Trust-Aware Multi-Agent Traceability: Confidence-Calibrated Knowledge Graphs for Consistent Software Artifact Management
Arxiv
0+阅读 · 6月15日
参考链接
微信扫码咨询专知VIP会员
Top