Repository for the workshop "Latent space navigation – interpretation, probing and steering" organized at Danish Digitalization, Data Science and AI 3.0 (D3A), August 26, 2025.
☆22Aug 26, 2025Updated last year
Alternatives and similar repositories for Latent-space-navigation
Users that are interested in Latent-space-navigation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Notes, examples, and general work on automatic differentiation and probabilistic programming☆12Dec 20, 2023Updated 2 years ago
- Pytorch code for Sampling in Combinatorial Spaces with SurVAE Flow Augmented MCMC☆11Mar 1, 2021Updated 5 years ago
- Implementation of Nonparametric Hamiltonian Monte Carlo☆13Feb 13, 2023Updated 3 years ago
- Code for the paper "FedFisher: Leveraging Fisher Information for One-Shot Federated Learning" by Divyansh Jhunjhunwala, Shiqiang Wang, an…☆14Feb 10, 2024Updated 2 years ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code for "Finding and Editing Multi-Modal Neurons in Pre-Trained Transformers" (Findings of ACL 2024)☆12Aug 28, 2025Updated last year
- Must-read articles and books about Python. Inspired by https://github.com/s16h/py-must-watch☆11Feb 20, 2017Updated 9 years ago
- An efficient method for the conversion from internal to Cartesian coordinates that utilizes the platform-agnostic JAX Python library.☆21Jun 12, 2024Updated 2 years ago
- A new way to visualize correlations.☆16Jun 21, 2022Updated 4 years ago
- [SIGIR 2022] Source code and datasets for "Bias Mitigation for Evidence-aware Fake News Detection by Causal Intervention".☆11Apr 23, 2024Updated 2 years ago
- Mu-FRET adds refactoring functionality to the Formal Requirements Elicitation Tool (FRET). Originally this work was part of the VALU3S pr…☆13Mar 14, 2026Updated 7 months ago
- Code for the prediction example from user webpages☆20Sep 16, 2016Updated 10 years ago
- Useful resources for hate speech detection☆10May 13, 2021Updated 5 years ago
- A collection of slides of the SMT course I held at University of Milan in fall 2011☆10Mar 14, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- PyTorch implementation of the Masked Autoregressive Flow☆30Jan 21, 2021Updated 5 years ago
- Introduction to Algorithms, Third Edition.☆10Apr 2, 2017Updated 9 years ago
- ☆11Apr 12, 2022Updated 4 years ago
- Data and code for APPDIA: A Discourse-aware Transformer-based Style Transfer Model for Offensive Social Media Conversations (COLING 2022)…☆13Sep 8, 2022Updated 4 years ago
- Scripts and Javascript Glue code to use Z3 in the browser using WASM☆13Jan 10, 2022Updated 4 years ago
- ☆18Oct 17, 2023Updated 3 years ago
- A package for parsing neural network properties in VNN-LIB format☆12Jul 18, 2026Updated 3 months ago
- ☆22Jun 30, 2020Updated 6 years ago
- Multicultural Proverbs and Sayings☆13Jan 11, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Activity recognition (walking, standing, ...) from smartphone low level sensor data☆15May 6, 2013Updated 13 years ago
- An implementation of Bisecting KMeans Clustering which is a kind of Hierarchical Clustering algorithm on Spark☆12Dec 2, 2015Updated 10 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- This project scrapes the entire public history of a Reddit user given their username☆15Dec 8, 2022Updated 3 years ago
- Preparation of a new project proposal to support model exchange and co-simulation of reduced order PDE-models in system simulation☆11Jul 11, 2018Updated 8 years ago
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Welcome to Uncertainty Metrics! The goal of this library is to provide an easy-to-use interface for both measuring uncertainty across Goo…☆24Nov 18, 2020Updated 5 years ago
- A low-level probabilistic programming framework embedded in Terra.☆29Aug 15, 2016Updated 10 years ago
- Scripts for WASSA-2017 Shared Task on Emotion Intensity☆14Oct 4, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Temporal Logic Extractor☆12May 12, 2017Updated 9 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 10 years ago
- A small library to convert different bibliography formats into each other☆11Mar 10, 2023Updated 3 years ago
- Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks☆12Feb 19, 2019Updated 7 years ago
- Probabilistic programming with vectorized programmable inference☆27Sep 27, 2026Updated last month
- Tired of searching the melange website for GSoC projects? Here's something that's visually pleasing and fast.☆15Mar 22, 2019Updated 7 years ago
- The standalone version of SPOT-1D-Single available for public use for research purposes.☆24May 19, 2024Updated 2 years ago