会员服务
Machine Space I: Weak exponentials and quantification over compact spaces
Arxiv
0+阅读 · 2月19日
Mitigating Legibility Tax with Decoupled Prover-Verifier Games
Arxiv
0+阅读 · 2月26日
GUI-Libra: Training Native GUI Agents to Reason and Act with Action-aware Supervision and Partially Verifiable RL
Arxiv
0+阅读 · 2月25日
Evaluating Chain-of-Thought Reasoning through Reusability and Verifiability
Evaluating Chain-of-Thought Reasoning through Reusability and Verifiability
Arxiv
0+阅读 · 2月19日
Physical Commonsense Reasoning for Lower-Resourced Languages and Dialects: a Study on Basque
Arxiv
0+阅读 · 2月16日
Secrecy and Verifiability: An Introduction to Electronic Voting
Arxiv
0+阅读 · 2月12日
Alignment Verifiability in Large Language Models: Normative Indistinguishability under Behavioral Evaluation
Arxiv
0+阅读 · 2月5日
Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings
Arxiv
0+阅读 · 2月4日
Wiki Live Challenge: Challenging Deep Research Agents with Expert-Level Wikipedia Articles
Arxiv
0+阅读 · 2月3日
ALiiCE: Evaluating Positional Fine-grained Citation Generation
Arxiv
0+阅读 · 2月2日
SpectraQuery: A Hybrid Retrieval-Augmented Conversational Assistant for Battery Science
Arxiv
0+阅读 · 1月14日
LLM Agents in Law: Taxonomy, Applications, and Challenges
Arxiv
5+阅读 · 1月8日
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日
参考链接
微信扫码咨询专知VIP会员
Top