会员服务
Prototype-Based Learning for Healthcare: A Demonstration of Interpretable AI
Arxiv
0+阅读 · 1月5日
AQUAREUM: Non-Equivocating Censorship-Evident Centralized Ledger with EVM-Based Verifiable Execution using Trusted Computing and Blockchain
Arxiv
0+阅读 · 1月5日
How to Sign Quantum Messages
Arxiv
0+阅读 · 1月4日
Verifiability-First Agents: Provable Observability and Lightweight Audit Agents for Controlling Autonomous LLM Systems
Arxiv
0+阅读 · 2025年12月19日
Certified Defense on the Fairness of Graph Neural Networks
Arxiv
0+阅读 · 2025年12月22日
Designing Rules for Choosing a Winner in a Debate
Arxiv
0+阅读 · 2025年11月28日
When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers
Arxiv
0+阅读 · 2025年12月2日
A TEE-based Approach for Security and Privacy in Decision Support
Arxiv
0+阅读 · 2025年11月21日
Towards Trustworthy Multi-Turn LLM Agents via Behavioral Guidance
Arxiv
0+阅读 · 2025年12月12日
Efficient Secure Aggregation for Privacy-Preserving Federated Machine Learning
Efficient Secure Aggregation for Privacy-Preserving Federated Machine Learning
Arxiv
0+阅读 · 2023年4月21日
Replication and Verifiability in Requirements Engineering: the NLP for RE Case
Arxiv
0+阅读 · 2023年4月20日
A Protocol for Cast-as-Intended Verifiability with a Second Device
Arxiv
0+阅读 · 2023年4月19日
Evaluating Verifiability in Generative Search Engines
Arxiv
0+阅读 · 2023年4月19日
Efficient Secure Aggregation for Privacy-Preserving Federated Machine Learning
Arxiv
1+阅读 · 2023年4月17日
Decentralized Threshold Signatures with Dynamically Private Accountability
Arxiv
0+阅读 · 2023年4月17日
参考链接
微信扫码咨询专知VIP会员
Top