provable - Robuta Search

https://arxiv.org/abs/1610.08500

Abstract page for arXiv paper 1610.08500: Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees

https://jan-bobolz.de/

Researching provable security and privacy.

https://arxiv.org/abs/2106.06657

Abstract page for arXiv paper 2106.06657: Provable Adaptation across Multiway Domains via Representation Learning

https://deepai.org/publication/sketching-meets-random-projection-in-the-dual-a-provable-recovery-algorithm-for-big-and-high-dimensional-data

10/10/16 - Sketching techniques have become popular for scaling up machine learning algorithms by reducing the sample size or dimensionality ...

https://proofassistants.stackexchange.com/questions/5388/in-itt-are-all-provable-equalities-in-the-empty-context-provable-by-refl

For context, I am reading "Principles of Dependent Type Theory". Intensional Type Theory is a dependent type theory where we take out...

https://provable.com/

Provable equips developers to build secure, private applications on Aleo, redefining trust and empowering digital privacy.

https://elastio.com/company

Elastio leads in ransomware mitigation and recovery with AI detection, zero-day recovery, and 0% ransom paid.

https://provable.games/

We use cryptography to create incorruptible and indestructible fun.