会员服务
CIFE: Code Instruction-Following Evaluation
Arxiv
0+阅读 · 12月19日
Reaching Agreement Among Reasoning LLM Agents
Arxiv
0+阅读 · 12月23日
Can LLMs Predict Their Own Failures? Self-Awareness via Internal Circuits
Arxiv
0+阅读 · 12月23日
A Formal Correctness Proof of Edmonds' Blossom Shrinking Algorithm
Arxiv
0+阅读 · 12月19日
Understanding Typing-Related Bugs in Solidity Compiler
Arxiv
0+阅读 · 12月20日
SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
Arxiv
0+阅读 · 12月22日
Equivalence Checking of ML GPU Kernels
Arxiv
0+阅读 · 11月16日
Models That Prove Their Own Correctness
Arxiv
0+阅读 · 12月18日
SWE-fficiency: Can Language Models Optimize Real-World Repositories on Real Workloads?
Arxiv
0+阅读 · 11月8日
SWE-fficiency: Can Language Models Optimize Real-World Repositories on Real Workloads?
Arxiv
0+阅读 · 11月11日
Smart but Costly? Benchmarking LLMs on Functional Accuracy and Energy Efficiency
Arxiv
0+阅读 · 11月10日
LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
Arxiv
0+阅读 · 11月3日
Semantic-Aware Confidence Calibration for Automated Audio Captioning
Arxiv
0+阅读 · 12月11日
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
Arxiv
0+阅读 · 11月17日
TensorRight: Automated Verification of Tensor Graph Rewrites
Arxiv
0+阅读 · 11月21日
参考链接
微信扫码咨询专知VIP会员
Top