会员服务
On LLMs' Internal Representation of Code Correctness
Arxiv
0+阅读 · 1月5日
FaithLens: Detecting and Explaining Faithfulness Hallucination
Arxiv
0+阅读 · 1月5日
Abductive Vibe Coding (Extended Abstract)
Arxiv
0+阅读 · 1月3日
Unified Generation and Self-Verification for Vision-Language Models via Advantage Decoupled Preference Optimization
Arxiv
0+阅读 · 1月4日
GRACE: Discriminator-Guided Chain-of-Thought Reasoning
Arxiv
0+阅读 · 1月3日
AI Knows Best? The Paradox of Expertise, AI-Reliance, and Performance in Educational Tutoring Decision-Making Tasks
Arxiv
0+阅读 · 1月3日
A New Benchmark for the Appropriate Evaluation of RTL Code Optimization
Arxiv
0+阅读 · 1月5日
Can LLMs Predict Their Own Failures? Self-Awareness via Internal Circuits
Arxiv
0+阅读 · 1月4日
Correctness isnt Efficiency: Runtime Memory Divergence in LLM-Generated Code
Arxiv
0+阅读 · 1月3日
Verified Purely Functional Catenable Real-Time Deques
Arxiv
0+阅读 · 1月3日
Cyclic Proofs in Hoare Logic and its Reverse
Arxiv
0+阅读 · 1月2日
Grain-Aware Data Transformations: Type-Level Formal Verification at Zero Computational Cost
Arxiv
0+阅读 · 1月2日
The Reasoning-Creativity Trade-off: Toward Creativity-Driven Problem Solving
Arxiv
0+阅读 · 1月2日
Probabilistic Guarantees for Reducing Contextual Hallucinations in LLMs
Arxiv
0+阅读 · 1月2日
Correctness of Extended RSA Public Key Cryptosystem
Arxiv
0+阅读 · 2025年12月31日
参考链接
微信扫码咨询专知VIP会员
Top