会员服务
If Probable, Then Acceptable? Understanding Conditional Acceptability Judgments in Large Language Models
Arxiv
0+阅读 · 10月9日
Investigating Counterclaims in Causality Extraction from Text
Arxiv
0+阅读 · 10月9日
Algorithm for constructing optimal explicit finite-difference formulas in the Hilbert space
Arxiv
0+阅读 · 10月8日
The Knowledge Complexity of Quantum Problems
Arxiv
0+阅读 · 10月8日
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
Arxiv
0+阅读 · 10月6日
Note on the Number of Almost Ordinary Triangles
Arxiv
0+阅读 · 10月3日
IPS Lower Bounds for Formulas and Sum of ROABPs
Arxiv
0+阅读 · 10月5日
Constructions of Efficiently Implementable Boolean Functions with Provable Nonlinearity/Resiliency/Algebraic Immunity Trade-Offs
Arxiv
0+阅读 · 10月6日
Sequent Calculi for Data-Aware Modal Logics
Arxiv
0+阅读 · 10月2日
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
Arxiv
0+阅读 · 10月1日
Are Knowledge and Reference in Multilingual Language Models Cross-Lingually Consistent?
Arxiv
0+阅读 · 9月30日
Red Teaming Program Repair Agents: When Correct Patches can Hide Vulnerabilities
Arxiv
0+阅读 · 9月30日
Ethics Statements in AI Music Papers: The Effective and the Ineffective
Arxiv
0+阅读 · 9月29日
The 2025 OpenAI Preparedness Framework does not guarantee any AI risk mitigation practices: a proof-of-concept for affordance analyses of AI safety policies
Arxiv
0+阅读 · 9月29日
Counterexamples to two conjectures on Venn diagrams
Arxiv
0+阅读 · 5月21日
参考链接
微信扫码咨询专知VIP会员
Top