会员服务
LPO: Discovering Missed Peephole Optimizations with Large Language Models
Arxiv
0+阅读 · 3月16日
Formally Verified Linear-Time Invertible Lexing
Arxiv
0+阅读 · 3月6日
2-Coloring Cycles in One Round
Arxiv
0+阅读 · 3月5日
2-Coloring Cycles in One Round
Arxiv
0+阅读 · 3月4日
Validating Quantum State Preparation Programs (Extended Version)
Arxiv
0+阅读 · 2月23日
VyZX: Formal Verification of a Graphical Quantum Language
Arxiv
0+阅读 · 3月10日
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
Arxiv
0+阅读 · 2月20日
LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
Arxiv
0+阅读 · 2月27日
SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
Arxiv
0+阅读 · 3月4日
SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
Arxiv
0+阅读 · 3月3日
Toward Guarantees for Clinical Reasoning in Vision Language Models via Formal Verification
Arxiv
0+阅读 · 2月27日
A No-go Theorem for Coalgebraic Product Construction
Arxiv
0+阅读 · 2月21日
Bounded Model Checking for Unbounded Client Server Systems
Arxiv
0+阅读 · 2月18日
On the $Σ^0_1$-Completeness of Cubic Diophantine Systems and their Consequences for Equations
Arxiv
0+阅读 · 2月17日
Formalising the Bruhat-Tits Tree
Arxiv
0+阅读 · 2月17日
参考链接
微信扫码咨询专知VIP会员
Top