会员服务
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日
Ruitenburg's Theorem Mechanized and Contextualized
Arxiv
0+阅读 · 11月4日
A Protocol for Trustless Verification Under Uncertainty
Arxiv
0+阅读 · 12月1日
A Complementary Approach to Incorrectness Typing
Arxiv
0+阅读 · 11月28日
Is Our Chatbot Telling Lies? Assessing Correctness of an LLM-based Dutch Support Chatbot
Arxiv
0+阅读 · 11月17日
Automatic Wire-Harness Color Sequence Detector
Arxiv
0+阅读 · 12月14日
DUALGUAGE: Automated Joint Security-Functionality Benchmarking for Secure Code Generation
Arxiv
0+阅读 · 11月24日
参考链接
微信扫码咨询专知VIP会员
Top