会员服务
Exposing the Illusion of Fairness: Auditing Vulnerabilities to Distributional Manipulation Attacks
Arxiv
0+阅读 · 6月16日
A Lean 4 Formalization of Euclidean Domain Algorithms from a 1986 Icon Experimentation Package
Arxiv
0+阅读 · 6月14日
Revisiting average case complexity of multilevel syllogistic: From the 1995 Courant Technical Report to Lean 4 Formalization
Arxiv
0+阅读 · 6月15日
A Simple Hierarchical Causality Primer
Arxiv
0+阅读 · 6月14日
LLM Consumer Behavior Theory: Foundations of a Novel Research Field
LLM Consumer Behavior Theory: Foundations of a Novel Research Field
Arxiv
0+阅读 · 6月16日
Dissecting model behavior through agent trajectories
Arxiv
0+阅读 · 6月16日
A Lean-Certified Proof of $K_8(4, 2) = 23$
Arxiv
0+阅读 · 6月15日
Mental Health AI Safety Claims Must Preserve Temporal Evidence
Arxiv
0+阅读 · 6月16日
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
Arxiv
0+阅读 · 6月16日
Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories
Arxiv
0+阅读 · 6月16日
EconCSLib: A Lean Library for Computational Economics and AI-Assisted Research
Arxiv
0+阅读 · 6月15日
IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
Arxiv
0+阅读 · 6月16日
Broadcast Product: Redefining Shape-aligned Element-wise Multiplication and Beyond
Arxiv
0+阅读 · 6月16日
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
Arxiv
0+阅读 · 6月15日
On the Role of Computation in Reinforcement Learning
Arxiv
0+阅读 · 6月15日
参考链接
微信扫码咨询专知VIP会员
Top