We are developing a safety layer architecture for generative AI systems, employing formal methods and proof assistants to ensure the correctness and safety of AI outputs. We are leveraging advancements in large language models for generating formal proofs, using dependently typed languages for proof... Read more
Org chart
Collapse
No reports!
Teams
This company has no teams yet
Offices
This company has no offices yet
Saronic
17 followers
SERHANT.
13 followers
Rain
6 followers
Ministère de l'Intérieur
5 followers
DWF
3 followers
Pentagon space
2 followers
C
CARE Ratings Limited
2 followers
P
Pinnacle Infotech Inc
1 follower
PermitFlow
1 follower
SMCT
1 follower
LCL Logistics Southern Africa Pty Ltd
1 follower
E
ECOMETRIX CONSULTANTS PRIVATE LIMITED
1 follower