#computational-verification News & Analysis

2 articles tagged with #computational-verification. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AI × CryptoBullisharXiv – CS AI · Jun 117/10

🤖

\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party

Researchers introduce Range-Arithmetic, a novel framework enabling efficient verification of deep neural network inference performed by untrusted parties without re-execution. The method converts non-arithmetic operations into verifiable arithmetic steps using sum-check protocols, reducing computational overhead for both verification and inference while maintaining compatibility with blockchain-based proof systems.

AINeutralarXiv – CS AI · May 126/10

🧠

Artificial Intelligence in Number Theory: LLMs for Algorithm Generation and Ensemble Methods for Conjecture Verification

Researchers demonstrate that large language models like Qwen2.5-Math achieve 95%+ accuracy on algorithmic number theory problems with optimal hints, and empirically verify a folklore conjecture that Dirichlet character moduli are uniquely determined by L-function zeros using machine learning ensemble methods.