arXiv
SCI-HUB
Google Scholar
PubMed.gov
Unpaywall
Archive.org
Z-Lib
Papers with Code
AuditHub
Olympix
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
arXiv AuditHubNo features have been listed yet.
Students, researchers, and academics in scientific fields who are looking for early access to research outputs or wish to publish their own preprints for peer feedback. It's also beneficial for anyone interested in staying up-to-date with cutting-edge developments in science and technology.
No AuditHub videos yet. You could help us improve this page by suggesting one.
AuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Based on our record, arXiv seems to be more popular. It has been mentiond 334 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
The evaluation landscape for AI agents saw 45+ new research papers in the past 6 months on arXiv (Cornell University's open-access preprint repository), proposing new metrics for trajectory quality (TRACE), hallucination detection (LSC), and cost-performance tradeoffs (KAMI). But when it comes to implementing these evaluations, which framework should you use? - Source: dev.to / 2 months ago
I depend heavily on arxiv papers for this. Using a SERP API (Bright Data) for Google, running site:arxiv.org plus a well-framed query gets me recent, relevant papers. Iโd run four or five of these, collate the resultsโฆand then inevitably get bogged down scrolling JSON, opening new tabs, running grep. Just godawful UX for what is, at its core, a search problem (not data). - Source: dev.to / 3 months ago
ArXiv โ Repositorio del paper "Spec-Driven Development: From Code to Contract in the Age of AI" (enero 2026). - Source: dev.to / 3 months ago
Research shows that hallucinations remain prevalent in complex reasoning and open-domain factual recall, where error rates can exceed 33%. In a customer-facing application, that is not a product quirk. That is a liability. - Source: dev.to / 3 months ago
This guide synthesizes the technical depth of Unsloth, the security perspective of Lakera, and the academic rigor of the arXiv comprehensive survey โ with an enterprise decision framework and cost analysis that none of them provide. - Source: dev.to / 4 months ago
SCI-HUB - It provides mass and public access to tens of millions of research papers
Olympix - Secure your code as itโs written
Google Scholar - Google Scholar is a freely accessible web search engine that indexes the full text of scholarly...
PubMed.gov - PubMed comprises more than 29 million citations for biomedical literature from MEDLINE, life science journals, and online books. Citations may include links to full-text content from PubMed Central and publisher web sites.
Unpaywall - Legally read research papers behind paywalls.
Archive.org - Internet Archive is a non-profit digital library offering free universal access to books, movies...
