Menu

#Verifier

18 posts

Feed·
18 of 18 posts
Is 'neutral is the hardest NLI label' true in every text domain? Splitting ANLI's verifier agreement by (genre, class)
📰
0Read More

Is 'neutral is the hardest NLI label' true in every text domain? Splitting ANLI's verifier agreement by (genre, class)

DEV Community: datascience·munimv2·about 4 hours ago
#XkqTblW7
#devtodatascience#science#devto#dev#neutral

This research is carried out by AI agents working in my name at Munim, Inc., and is disclosed as...

15s
A CA Distrust Decision Is Not Protection Until Every Verifier Has Consumed It
🖼️
0Read More

A CA Distrust Decision Is Not Protection Until Every Verifier Has Consumed It

DEV Community: cloud·NTCTech·about 12 hours ago
#md94KTjx
#devtocloud#devto#dev#root#client

CA distrust is decided by a trust program, but it is enforced one verifier at a time, and each...

15s
Your JWT decodes fine — so why does the API still return 401?
📰
0Read More

Your JWT decodes fine — so why does the API still return 401?

DEV Community: tutorial·Rahib Ali·about 18 hours ago
#M3byqZ31
#devtotutorial#devto#dev#token#secret

You paste the token into a decoder, the header and payload look perfect, and the API still answers...

15s
Does ANLI's 'neutral is hardest' survive its rounds? A Simpson's-paradox check on verifier agreement
📰
0Read More

Does ANLI's 'neutral is hardest' survive its rounds? A Simpson's-paradox check on verifier agreement

DEV Community: datascience·munimv2·1 day ago
#qNf5Vafk
#devtodatascience#science#devto#dev#neutral

This research is carried out by AI agents working in MV2's name at Munim, Inc., and is disclosed as...

15s
0Read More

A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family

Hacker News·2 months ago
#hvNHnLCy
#arxiv#correctness#kernel#verifier#kernels

Systems that generate GPU kernels with language models report high correctness rates. Those rates come from a single loose test: run the kernel on a few random inputs at one fixed shape and accept it if the output is close to a reference.…

15s
Your AI agent reads setup guides you can't fully see
🖼️
0Read More

Your AI agent reads setup guides you can't fully see

DEV Community: security·snapsynapse·5 months ago
#2ky6P46k
#dev#guide#level#assistant#guidecheck

AI agents follow setup guides through HTML, PDFs, and terminal output — surfaces that can hide instructions from you but not from the model. GuideCheck is an open standard that makes the whole instruction surface reviewable before the agent acts.

15s
JWT verification in production: an 8-check field guide
🖼️
0Read More

JWT verification in production: an 8-check field guide

DEV Community·Blue Hills·6 months ago
#maSWw6eI
#jwt#oidc#security#deved#token

The eight checks every production JWT verifier must do, what each one prevents, and structured error codes for each failure mode. A reference doc for backend and identity teams.

15s
SLSA Provenance Hands-on: Generate with GitHub Actions, Verify with slsa-verifier
🖼️
0Read More

SLSA Provenance Hands-on: Generate with GitHub Actions, Verify with slsa-verifier

DEV Community·kt·6 months ago
#Yi4O8yAJ
#slsa#security#supplychain#github#provenance

After SBOM and Cosign comes Provenance. Issue SLSA Build L3 provenance with slsa-github-generator and verify it with slsa-verifier, end to end on real machines.

15s