Bosto , MA, Septembe 24, 2026 –(PR.com)– Jaxo , I c., a leadi g p ovide of dete mi istic AI ve ificatio tech ology, today a ou ced that its solutio , DSAIL, has bee deemed Awa dable th ough the IARPA Solutio s Ma ketplace.
The IARPA Solutio s Ma ketplace is a digital platfo m desig ed to help the I tellige ce Adva ced Resea ch P ojects Activity (IARPA) a d the b oade I tellige ce Commu ity (IC) ide tify, assess, a d apidly access i ovative tech ologies eleva t to IC missio eeds. The Ma ketplace p ovides Gove me t Custome s with a ce t alized eposito y of assessed, Awa dable solutio s f om compa ies, esea che s, a d othe tech ology p ovide s.
Jaxo develops a eu osymbolic AI ve ificatio e gi e that applies fo mal, mathematically p ovable logic to AI-ge e ated outputs. Its solutio s a e desig ed to catch e o s a d halluci atio s befo e a AI-ge e ated output is eve acted o a d a e used by defe se, i tellige ce, a d comme cial o ga izatio s ope ati g i high-stakes, missio -c itical e vi o me ts.
“Bei g deemed Awa dable th ough the IARPA Solutio s Ma ketplace validates the wo k ou team has put i to buildi g AI ve ificatio that ca sta d up to the sta da ds this commu ity dema ds,” said Jose Ca tu, Di ecto of Defe se & I tellige ce at Jaxo . “This c eates a di ect, st eamli ed path fo us to get DSAIL i f o t of the custome s who eed it most.”
Jaxo ‘s solutio video, Domai Specific AI La guage (DSAIL), is available to autho ized Gove me t Custome s th ough the IARPA Solutio s Ma ketplace. The video demo st ates how DSAIL fo mally ve ifies AI-ge e ated outputs agai st codified ules befo e they each a dow st eam use o system.
Followi g a competitive assessme t p ocess, DSAIL was deemed Awa dable a d made available i the Ma ketplace fo Gove me t Custome s to discove a d co side fo eleva t missio eeds.
Gove me t Custome s i te ested i viewi g Jaxo ‘s solutio a d othe Awa dable tech ologies ca lea mo e about accessi g the IARPA Solutio s Ma ketplace at www.ia pa.gov/ma ketplace.
