会员服务
VISTA Score: Verification In Sequential Turn-based Assessment
Arxiv
0+阅读 · 10月30日
Sockeye: a language for analyzing hardware documentation
Arxiv
0+阅读 · 10月31日
Reliable Evaluation and Benchmarks for Statement Autoformalization
Arxiv
0+阅读 · 10月29日
An Energy-Stable Discontinuous Galerkin Method for the Compressible Navier--Stokes--Allen--Cahn System
Arxiv
0+阅读 · 10月27日
Opinion Mining Based Entity Ranking using Fuzzy Logic Algorithmic Approach
Arxiv
0+阅读 · 10月27日
Remarks on a recent preprint of Chernikov and Towsner
Arxiv
0+阅读 · 10月22日
Efficiently Batching Unambiguous Interactive Proofs
Arxiv
0+阅读 · 10月21日
Cliquewidth and dimension
Arxiv
0+阅读 · 10月18日
Cash Flow Underwriting with Bank Transaction Data: Advancing MSME Financial Inclusion in Malaysia
Arxiv
0+阅读 · 10月17日
When AI companions become witty: Can human brain recognize AI-generated irony?
Arxiv
0+阅读 · 10月20日
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
Arxiv
0+阅读 · 10月20日
Generating Fair Consensus Statements with Social Choice on Token-Level MDPs
Arxiv
0+阅读 · 10月15日
Jet Functors and Weil Algebras in Automatic Differentiation: A Geometric Analysis
Arxiv
0+阅读 · 10月16日
AutoCode: LLMs as Problem Setters for Competitive Programming
Arxiv
0+阅读 · 9月29日
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
Arxiv
0+阅读 · 10月14日
参考链接
微信扫码咨询专知VIP会员
Top