会员服务
Using LLMs for Knowledge Component-level Correctness Labeling in Open-ended Coding Problems
Arxiv
0+阅读 · 2月19日
Refinement orders for quantum programs
Arxiv
0+阅读 · 2月19日
Human-AI Interaction: Evaluating LLM Reasoning on Digital Logic Circuit included Graph Problems, in terms of creativity in design and analysis
Arxiv
0+阅读 · 2月17日
LLM Reasoning Predicts When Models Are Right: Evidence from Coding Classroom Discourse
Arxiv
0+阅读 · 2月10日
On Calibration of Large Language Models: From Response To Capability
Arxiv
0+阅读 · 2月14日
CAM: A Causality-based Analysis Framework for Multi-Agent Code Generation Systems
Arxiv
0+阅读 · 2月7日
Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
Arxiv
0+阅读 · 2月6日
Marking Code Without Breaking It: Code Watermarking for Detecting LLM-Generated Code
Arxiv
0+阅读 · 2月8日
No Answer Needed: Predicting LLM Answer Accuracy from Question-Only Linear Probes
Arxiv
0+阅读 · 2月9日
PBLean: Pseudo-Boolean Proof Certificates for Lean 4
Arxiv
0+阅读 · 2月9日
Beyond Correctness: Learning Robust Reasoning via Transfer
Arxiv
0+阅读 · 2月9日
ComPass: Contrastive Learning for Automated Patch Correctness Assessment in Program Repair
Arxiv
0+阅读 · 2月7日
Evaluating LLM Reasoning Beyond Correctness and CoT
Arxiv
0+阅读 · 2月12日
On the role of connectivity in Linear Logic proofs
Arxiv
0+阅读 · 2月6日
Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior
Arxiv
0+阅读 · 2月11日
参考链接
微信扫码咨询专知VIP会员
Top