成为VIP会员查看完整内容
VIP会员码认证
首页
主题
会员
服务
注册
·
登录
形式化
关注
1
综合
百科
VIP
热门
动态
论文
精华
Capturing Individual Human Preferences with Reward Features
Arxiv
0+阅读 · 2月19日
Reframing Population-Adjusted Indirect Comparisons as a Transportability Problem: An Estimand-Based Perspective and Implications for Health Technology Assessment
Arxiv
0+阅读 · 2月19日
The Compute ICE-AGE: Invariant Compute Envelope under Addressable Graph Evolution
Arxiv
0+阅读 · 2月17日
Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
Arxiv
0+阅读 · 2月18日
When Models Ignore Definitions: Measuring Semantic Override Hallucinations in LLM Reasoning
Arxiv
0+阅读 · 2月19日
Sufficient, Necessary and Complete Causal Explanations in Image Classification
Arxiv
0+阅读 · 2月19日
Privacy in Theory, Bugs in Practice: Grey-Box Auditing of Differential Privacy Libraries
Arxiv
0+阅读 · 2月19日
Generating Rely-Guarantee Conditions with the Conditional-Writes Domain
Arxiv
0+阅读 · 2月19日
Visual Model Checking: Graph-Based Inference of Visual Routines for Image Retrieval
Arxiv
0+阅读 · 2月19日
TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions
Arxiv
0+阅读 · 2月19日
On the Mechanism and Dynamics of Modular Addition: Fourier Features, Lottery Ticket, and Grokking
Arxiv
0+阅读 · 2月18日
A Theory of Network Games Part 1: Utility Representations
Arxiv
0+阅读 · 2月19日
A type theory for invertibility in weak $ω$-categories
Arxiv
0+阅读 · 2月18日
FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean
Arxiv
0+阅读 · 2月17日
SkillWrapper: Generative Predicate Invention for Task-level Planning
Arxiv
0+阅读 · 2月18日
参考链接
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top