会员服务
Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation
Arxiv
0+阅读 · 4月3日
Granger causal inference for climate change attribution
Arxiv
0+阅读 · 4月2日
AL-Bench: A Benchmark for Automatic Logging
Arxiv
0+阅读 · 4月2日
Rubric Is All You Need: Enhancing LLM-based Code Evaluation With Question-Specific Rubrics
Arxiv
0+阅读 · 3月31日
Understanding Inequality of LLM Fact-Checking over Geographic Regions with Agent and Retrieval models
Arxiv
0+阅读 · 3月28日
Fuzzing-based Mutation Testing of C/C++ CPS
Arxiv
0+阅读 · 3月31日
On the Alignment of Post-Publication Reviews & Bibliometric and Altmetric Impact -- A Case Study on Expert Statements from the Science Media Center Germany
On the Alignment of Post-Publication Reviews & Bibliometric and Altmetric Impact -- A Case Study on Expert Statements from the Science Media Center Germany
Arxiv
0+阅读 · 3月28日
Optimal Trickle-Down Theorems for Path Complexes via C-Lorentzian Polynomials with Applications to Sampling and Log-Concave Sequences
Arxiv
0+阅读 · 3月28日
CLAIMCHECK: How Grounded are LLM Critiques of Scientific Papers?
CLAIMCHECK: How Grounded are LLM Critiques of Scientific Papers?
Arxiv
0+阅读 · 3月27日
Scaling Automated Database System Testing
Arxiv
0+阅读 · 3月27日
A Guide to Misinformation Detection Data and Evaluation
Arxiv
0+阅读 · 3月19日
HunyuanProver: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving
Arxiv
0+阅读 · 3月21日
FREIDA: A Framework for developing quantitative agent based models based on qualitative expert knowledge: an example of organised crime
Arxiv
0+阅读 · 3月26日
Measuring a moving target -- Innovation studies in practice
Arxiv
0+阅读 · 3月5日
Boolean Algebras as Clones
Arxiv
0+阅读 · 3月6日
参考链接
微信扫码咨询专知VIP会员
Top