-
NASA and CMU CyLab
- https://ti.arc.nasa.gov/profile/pcorina/
-
langextract Public
Forked from google/langextractA Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
Python Apache License 2.0 UpdatedAug 27, 2025 -
-
-
-
-
zero-shot-image-to-text Public
Forked from YoadTew/zero-shot-image-to-textImplementation of Zero-Shot Image-to-Text Generation for Visual-Semantic Arithmetic
Python UpdatedSep 17, 2022 -
vpn Public
Forked from theyoucheng/vpnVerification of Poisoning in Neural Network
BSD 3-Clause "New" or "Revised" License UpdatedMay 8, 2022 -
jpf-core Public
Forked from yannicnoller/jpf-coreMy fork of https://github.com/javapathfinder/jpf-core
-
clip-glass Public
Forked from galatolofederico/clip-glassRepository for "Generating images from caption and vice versa via CLIP-Guided Generative Latent Space Search"
Python GNU General Public License v3.0 UpdatedSep 30, 2021 -
-
scad_tot Public
Forked from SharedControlAutonomousDriving/scad_totSCAD TakeOverTime neural network & verification
Jupyter Notebook UpdatedNov 18, 2020 -
-
spf-wca Public
Forked from isstac/spf-wcaTool for algorithmic complexity analysis based on symbolic execution
Java MIT License UpdatedSep 17, 2018 -
-
decuda Public
Forked from laanwj/decudaDecuda and cudasm, the CUDA binary utilities package. Low-level tools for NVidia G80 GPUs.
Python BSD 3-Clause "New" or "Revised" License UpdatedJul 24, 2010