provable - Robuta Search

https://lucidcomputing.ai/ Lucid Computing - Provable trust infrastructure for frontier AI Privacy-preserving, verifiable clusters built to the security specs of frontier developers and the confidentiality specs of global deployers. trust infrastructure lucid computing provable frontier https://www.cybersecurityexpert.co.uk/ Cybersecurity Assurance Tools | Provable Cyber Resilience Independent cybersecurity assurance platform for CISOs and risk leaders. AI-powered tools to test control effectiveness and prove cyber resilience under real... cybersecurity assurance tools provable resilience https://provable.com/ Provable Provable equips developers to build secure, private applications on Aleo, redefining trust and empowering digital privacy. provable https://rivetz.com/ Rivetz - Building Digital 2.0 with Provable Cybersecurity building digital provable cybersecurity https://provablemarkets.com/ Provable Markets provable markets https://aroosaijaz.github.io/publications/BP2025 Does provable absence of barren plateaus imply classical simulability? - Aroosa provable absence barren plateaus imply https://video.ucdavis.edu/media/Provable+Repair+of+Deep+Neural+Networks+/1_mzhabc7r Provable Repair of Deep Neural Networks - University of California, Davis Deep Neural Networks (DNNs) have grown in popularity over the past decade and are now being used in safety-critical domains such as aircraft collision... deep neural networks provable repair university california https://pure.psu.edu/en/publications/patrol-provable-defense-against-adversarial-policy-in-two-player-/ PATROL: Provable Defense against Adversarial Policy in Two-player Games - Penn State two player games https://aroosaijaz.github.io/publications/BP2023 Does provable absence of barren plateaus imply classical simulability? Or, why we need to rethink... https://bristolcrypto.blogspot.com/2016/08/crypto-2016-provable-security-for.html Bristol Cryptography Blog: Crypto 2016: Provable Security for Symmetric Cryptography On the morning that the CAESAR competition entered its third round , track A of CRYPTO 2016 begin with a session on provable security for sy... blog crypto bristol cryptography provable security https://hybrid.soe.ucsc.edu/node/2553 Control Barrier Function based Attack-Recovery with Provable Guarantees | Ricardo Sanfelice control barrier function based attack https://iro.uiowa.edu/esploro/outputs/doctoral/9983776620402771 Accelerating truncated singular-value decomposition: a fast and provable method for robust... singular value decomposition https://intra.kth.se/en/eecs/kalender/towards-provable-transport-layer-privacy-1.1290110?date=2023-09-22&orgdate=2023-03-26&length=1&orglength=281 Towards Provable Transport Layer Privacy | EECS internal pages While metadata privacy is a known problem, existing solutions are far from perfect: they are either resource exhaustive which affects performance, or they... transport layer towards provable privacy eecs https://aws.amazon.com/tr/security/provable-security/ Provable Security - Automated Reasoning - Amazon Web Services (AWS) Provable security provides higher assurance in security of the cloud and in the cloud. It uses automated reasoning to help answer questions about your... amazon web services automated reasoning provable security aws https://arxiv.org/abs/2508.02578 [2508.02578] Quantum chemistry with provable convergence via randomized sample-based Krylov quantum... Abstract page for arXiv paper 2508.02578: Quantum chemistry with provable convergence via randomized sample-based Krylov quantum diagonalization quantum chemistry https://fds.yale.edu/events/sds-seminar-zhuoran-yang-yale-unveiling-in-context-learning-provable-training-dynamics-and-feature-learning-in-transformers/ S&DS Seminar: Zhuoran Yang (Yale), "Unveiling In-Context Learning: Provable Training Dynamics and... Sep 16, 2025 - Zhuoran Yang from Yale University will give a talk exploring the theoretical foundations of in-context learning in transformers. Discover insights into... https://collaborate.princeton.edu/en/publications/provable-efficient-online-matrix-completion-via-non-convex-stocha/fingerprints/ Provable efficient online matrix completion via non-convex stochastic gradient descent -... matrix completion provable efficient online https://arxiv.org/abs/2401.11786 [2401.11786] EPIC: a provable accelerated Eigensolver based on Preconditioning and Implicit... Abstract page for arXiv paper 2401.11786: EPIC: a provable accelerated Eigensolver based on Preconditioning and Implicit Convexity https://pure.psu.edu/en/publications/on-provable-benefits-of-depth-in-training-graph-convolutional-net/ On Provable Benefits of Depth in Training Graph Convolutional Networks - Penn State benefits of in training https://repository.gatech.edu/entities/publication/b6d3edda-01ec-439b-808c-98a046c4f1d7 Towards secure communication and authentication: Provable security analysis and new constructions Secure communication and authentication are some of the most important and practical topics studied in modern cryptography. Plenty of cryptographic protocols... secure communication security analysis towards authentication provable https://spektrum.ai/ Spektrum Labs | Provable Cyber Resilience Platform Prove cybersecurity safeguards are working with continuous validation, cryptographic evidence, and automated compliance for insurance, audits, and boards. cyber resilience spektrum labs provable platform https://www.provable.tools/ Provable SDK A Software Development Kit (SDK) for Zero-Knowledge Transactions provable sdk https://collaborate.princeton.edu/en/projects/ri-medium-provable-reinforcement-learning-with-function-approxima/ RI: Medium: Provable Reinforcement Learning with Function Approximation and Neural Networks -... reinforcement learning ri medium provable https://media.ccc.de/v/35c3-9517-provable_security Provable Security - media.ccc.de Modern cryptography is based on security-proofs. We will demonstrate how these work, why they are desirable and what their limitations ar... security media provable ccc de https://collaborate.princeton.edu/en/publications/provable-efficient-online-matrix-completion-via-non-convex-stocha/ Provable efficient online matrix completion via non-convex stochastic gradient descent - Princeton... stochastic gradient descent matrix completion https://collaborate.princeton.edu/en/publications/return-of-ggh15-provable-security-against-zeroizing-attacks/ Return of GGH15: Provable Security Against Zeroizing Attacks - Princeton University return provable security attacks princeton https://arxiv.org/html/2402.04875v6 On Provable Length and Compositional Generalization provable length generalization https://www.prnewswire.com/news-releases/spektrum-labs-emerges-from-stealth-with-first-of-its-kind-platform-for-provable-cyber-resilience-302599088.html Spektrum Labs Emerges from Stealth with First-of-its-Kind Platform for Provable Cyber Resilience /PRNewswire/ -- Spektrum Labs, the leader in AI-first cyber resilience, today announced its official launch with the debut of its Spektrum Fusion platform,... https://collaborate.princeton.edu/en/publications/pruning-based-distance-sketches-with-provable-guarantees-on-rando/fingerprints/?sortBy=alphabetically Pruning based distance sketches with provable guarantees on random graphs - Fingerprint - Princeton... https://infoscience.epfl.ch/entities/publication/ec4fb26d-5fc5-4f12-9b21-66fd68fbb662/statistics Provable Convergence Guarantees for Constrained Inverse Reinforcement Learning By incorporating known constraints into the inverse reinforcement learning (IRL) framework, con- strained inverse reinforcement learning (CIRL) can learn... provable convergence guarantees constrained inverse https://pzuliani.github.io/group.html Paolo Zuliani, Sapienza University - SPQR: Simpler and Provable Quantum pRogramming sapienza university paolo spqr simpler provable https://dukespace.lib.duke.edu/items/819760b9-0f83-41f6-980f-bfe18c70182f Policy Driven Data Sharing with Provable Privacy Guarantees data sharing policy driven provable privacy https://is.mpg.de/publications/wiedemer2024provable Provable Compositional Generalization for Object-Centric Learning | MPI-IS Our goal is to understand the principles of Perception, Action and Learning in autonomous systems that successfully interact with complex environments and to... provable generalization object centric learning https://pinexq.net/ PineXQ — Provable Computing Platform Provable computing for the real world provable computing platform https://simons.berkeley.edu/talks/predicting-what-you-already-know-helps-provable-self-supervised-learning Predicting What You Already Know Helps: Provable Self-Supervised Learning predicting already know helps provable https://conservancy.umn.edu/items/a8901ad9-85d8-4677-9bec-233ef2975799 Provable Deterministic Sampling Strategies for Fourier Encoding in Magnetic Resonance Imaging There is a constant demand for acceleration of magnetic resonance (MR) imaging to alleviate motion artifacts, and more generally, due to the time sensitive... magnetic resonance provable deterministic sampling strategies https://arxiv.org/abs/2502.11229 [2502.11229] Provable and Practical Online Learning Rate Adaptation with Hypergradient Descent Abstract page for arXiv paper 2502.11229: Provable and Practical Online Learning Rate Adaptation with Hypergradient Descent online learning https://www.scirp.org/journal/articles?searchcode=Authenticated+Key+Exchange%3B+Provable+Security%3B+eCK+Model%3B+Computational+Diffie-Hellman+Assumption%3B+Trapdoor+Test&searchfield=keyword&page=1 Authenticated Key Exchange; Provable Security; eCK Model; Computational Diffie-Hellman Assumption;... Authenticated Key Exchange; Provable Security; eCK Model; Computational Diffie-Hellman Assumption; Trapdoor Test authenticated key exchange diffie hellman provable security https://par.nsf.gov/biblio/10536439 Provable convergence guarantees for black-box variational inference | NSF Public Access Repository This page contains metadata information for the record with PAR ID 10536439 black box https://collaborate.princeton.edu/en/publications/provable-submodular-minimization-using-wolfes-algorithm/fingerprints/ Provable submodular minimization using Wolfe's algorithm - Fingerprint - Princeton University provable minimization using wolfe algorithm https://aws.amazon.com/blogs/security/automated-reasoning-provable-security-of-boot-code-tlarg/ Daniel Schwartz-Narbonne shares how automated reasoning is helping achieve the provable security of... Mar 10, 2020 - I recently sat down with Daniel Schwartz-Narbonne, a software development engineer in the Automated Reasoning Group (ARG) at AWS, to learn more about the... https://taggr.io/ Taggr - Provable Authenticity & Ownership provable authenticity ownership https://research.tudelft.nl/en/publications/generalized-optimistic-q-learning-with-provable-efficiency/ Generalized Optimistic Q-Learning with Provable Efficiency - TU Delft Research Portal tu delft generalized optimistic q learning https://research.ibm.com/publications/cluster-aware-compression-with-provable-k-means-preservation Cluster-aware compression with provable k-means preservation for SDM 2012 - IBM Research Cluster-aware compression with provable k-means preservation for SDM 2012 by Nikolaos M. Freris et al. https://intra.kth.se/en/eecs/kalender/towards-provable-transport-layer-privacy-1.1290110?date=2023-09-22&orgdate=2023-06-01&length=1&orglength=0 Towards Provable Transport Layer Privacy | EECS internal pages While metadata privacy is a known problem, existing solutions are far from perfect: they are either resource exhaustive which affects performance, or they... transport layer towards provable privacy eecs https://researchdiscovery.drexel.edu/esploro/outputs/conferenceProceeding/COIN-Uncertainty-Guarding-Selective-Question-Answering-for/991022172359004721 COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk... Mar 14, 2026 - Uncertainty quantification (UQ) in foundation models is crucial for identifying and mitigating hallucinations in automatically generated text. However,... question answering https://pubmed.ncbi.nlm.nih.gov/23422427/ OSPREY: protein design with ensembles, flexibility, and provable algorithms protein design osprey ensembles flexibility provable https://arxiv.org/abs/1711.00851 [1711.00851] Provable defenses against adversarial examples via the convex outer adversarial... Abstract page for arXiv paper 1711.00851: Provable defenses against adversarial examples via the convex outer adversarial polytope adversarial examples provable defenses https://elastio.com/ Ransomware Detection and Provable Recovery | Elastio Deep File Inspection across live data, replicated data, and backups. Detects 2,300+ ransomware families with 99.9999% precision. Zero customers have paid a... ransomware detection provable recovery https://ec2-18-132-102-43.eu-west-2.compute.amazonaws.com/2020/04/24/er-is-bewijsbaar-een-causaal-verband/ Covid-19 spreads, there is a provable causal connection! - Maurice dHond Apr 11, 2022 - Covid-19 spreads, there is a provable causal connection!. Maurice de Hond. I remember well when in university I was first explained what a there is covid spreads https://nuit-blanche.blogspot.com/2014/11/provable-bounds-for-learning-some-deep.html Nuit Blanche: Provable Bounds for Learning Some Deep Representations A blog about Compressive Sensing, Computational Imaging, Machine Learning. Using priors to avoid the curse of dimensionality arising in Big Data. nuit blanche for learning provable bounds deep https://lists.cs.princeton.edu/hyperkitty/list/talks@lists.cs.princeton.edu/thread/XBF7TRQHCYCOW7UXV2S3U45QSKDI4Z3O/ Sobhan Mir Yoosefi will present his FPO "Provable Reinforcement Learning with Constraints and... https://explorer.provable.com/ Aleo Explorer by Provable Gain insights with Provable’s Explorer, a tool to seamlessly navigate and analyze activity on the Aleo blockchain. aleo explorer provable https://par.nsf.gov/biblio/10392150-provable-detection-propagating-sampling-bias-prediction-models Provable detection of propagating sampling bias in prediction models | NSF Public Access Repository This page contains metadata information for the record with PAR ID 10392150 https://arxiv.org/abs/2102.11800 [2102.11800] Provable Boolean Interaction Recovery from Tree Ensemble obtained via Random Forests Abstract page for arXiv paper 2102.11800: Provable Boolean Interaction Recovery from Tree Ensemble obtained via Random Forests https://arxiv.org/abs/1805.12514 [1805.12514] Scaling provable adversarial defenses Abstract page for arXiv paper 1805.12514: Scaling provable adversarial defenses scaling provable adversarial defenses https://collaborate.princeton.edu/en/publications/a-provable-initialization-and-robust-clustering-method-for-genera/ A Provable Initialization and Robust Clustering Method for General Mixture Models - Princeton... https://www.math.uni-heidelberg.de/de/veranstaltungen/semi-supervised-learning-the-provable-benefits-of-unlabeled-data-for-sparse-gaussian-classification-2024-03-12 Semi-Supervised Learning: The Provable Benefits of Unlabeled Data for Sparse Gaussian... supervised learning benefits of https://cordis.europa.eu/project/id/101076564 Provable Scalability for high-dimensional Bayesian Learning | PrSc-HDBayLe | Project | Fact Sheet |... As the scale and complexity of available data increase, developing rigorous understanding of the computational properties of statistical procedures has become...