pycddlib | pypi | Package Usage | Ecosyste.ms: Repos

nathan-albin/modulus_book

Introduction to discrete modulus concepts and algorithms through Jupyter notebooks.

==2.1.4 requirements.txt

Size: 6.92 MB - Last synced: 4 months ago - Pushed: 5 months ago

equaeghe/murasyp

Python software for accept/reject statement-based uncertainty modeling

>=1.0.4 requirements.txt

Size: 838 KB - Last synced: about 1 year ago - Pushed: about 9 years ago

mit-ll-trusted-autonomy/iitchs

Core functionality for the IITCHS framework.

==2.1.4 environment.yml

Size: 6.34 MB - Last synced: 27 days ago - Pushed: about 2 years ago

astaka-pe/math_opt

* environment.yml

Size: 2.79 MB - Last synced: 9 days ago - Pushed: over 1 year ago

heirung/pytope

Minimal package for operations on polytopes, zonotopes, and invariant sets.

* setup.py

Size: 260 KB - Last synced: 12 days ago - Pushed: over 3 years ago

volvo_gto/gpss_mvp/control/mpc_trajectory_control

A trajectory planner using MPC to coordinate multiple transporters

==2.1.6 requirements.txt

Last synced: over 1 year ago

nkpanda97/stochastic-investment-planning

Solution of a two-stage stochastic model useful for investment planning using pyomo and mpi-sppy.

=2.1.4=pypi_0 requirements.txt

Size: 1.26 MB - Last synced: 4 months ago - Pushed: 8 months ago

venguru/mathematical_optimization_with_python

* Pipfile
==2.1.1 Pipfile.lock

Size: 968 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago

gramaziokohler/integral_timber_joints

Robotic Assembled Timber Structures with Integral Timber Joints

* requirements.txt

Size: 148 MB - Last synced: 7 months ago - Pushed: 7 months ago

xue-xy/kProp

Neural Network Verifier with Multi-Neuron Relaxation in General Norms

=2.1.4=pypi_0 requirements.txt

Size: 25.4 MB - Last synced: 4 months ago - Pushed: almost 2 years ago

phate09/SafeDRL

Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"

==2.1.4 environment.yml

Size: 6.34 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

stochasticnetworkcontrol/snc

Stochastic Network Control agents and environments

2.1.0 poetry.lock
2.1.0 pyproject.toml

Size: 16 MB - Last synced: 4 months ago - Pushed: 4 months ago

cheuktingli/psitip

Python Symbolic Information Theoretic Inequality Prover

* requirements.txt

Size: 2.56 MB - Last synced: 4 days ago - Pushed: 3 months ago

fran-penedo/param-synth

==1.0.4 requirements.txt

Size: 63.7 MB - Last synced: about 1 year ago - Pushed: over 8 years ago

IBM/LOA

Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games

==2.1.4 requirements.txt

Size: 85.9 KB - Last synced: about 1 month ago - Pushed: 10 months ago

fmrchallenge/fmrbenchmark

benchmark problems for research in formal methods for robotics

* tools/fmrb-pkg/requirements.txt

Size: 599 KB - Last synced: 23 days ago - Pushed: 9 months ago

fran-penedo/param-synth-web

==1.0.4 lib/param_synth/requirements.txt

Size: 2.25 MB - Last synced: about 1 year ago - Pushed: over 8 years ago

AI-secure/VeriGauge

A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]

* eran/requirements.txt
==2.1.1 requirements.txt

Size: 16.2 MB - Last synced: about 2 months ago - Pushed: about 1 year ago

richard-weinhold/pomato

Power Market Tool for the comprehensive analyses of modern electricity markets (Python+Julia)

* setup.py

Size: 91.9 MB - Last synced: about 1 month ago - Pushed: 6 months ago

sync-lab/ETCetera

* environment.yml

Size: 633 KB - Last synced: about 1 year ago - Pushed: about 2 years ago

valtron/dualdesc

Dual description of polytopes.

* setup.py

Last synced: 2 months ago

sokcertifiedrobustness/VeriGauge-deprecated

* eran/requirements.txt
==2.1.1 requirements.txt

Size: 16.2 MB - Last synced: about 2 months ago - Pushed: over 1 year ago

mafried/pc_clustering

==2.1.0 requirements.txt

Size: 5.86 KB - Last synced: 11 months ago - Pushed: over 1 year ago

aperep/vinal

Vinberg's algorithm

>=2.1.0 vinal/requirements.txt

Size: 457 KB - Last synced: about 1 year ago - Pushed: about 1 year ago

mehradans92/crnpy Fork of etonello/crnpy

A python library for the analysis of chemical reaction networks.

* setup.py

Size: 5.08 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

stephane-caron/pypoman

Python module for polyhedral geometry

* setup.py

Size: 250 KB - Last synced: 4 days ago - Pushed: 4 days ago

nxwi/illacceptanything Fork of illacceptanything/illacceptanything

The project where literally anything* goes.

* data/requirements.txt

Size: 1.33 GB - Last synced: 7 months ago - Pushed: over 1 year ago

HannaAbiAkl/AutonomousLearner

A system that is capable of developing knowledge and learning from high-level input data

==2.1.6 requirements.txt

Size: 157 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

haudren/pyparma

Bindings to the parma polyhedra library, allowing to use double description from Python.

>=1.0.5 requirements.txt

Size: 187 KB - Last synced: about 1 month ago - Pushed: over 6 years ago

CogComp/Subevent_EventSeg

==2.1.4 env/environment.yml
==2.1.4 env/requirements.txt

Size: 2.37 MB - Last synced: 16 days ago - Pushed: over 2 years ago

jonathanli15/t_miner_test

Dummy Repo to test the T-Miner Action

==2.1.6 requirements.txt

Size: 139 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

aleccedwards/neural-abstractions-nips22

* requirements.txt

Size: 295 KB - Last synced: 9 months ago - Pushed: over 1 year ago

illacceptanything/illacceptanything

The project where literally anything* goes.

* data/requirements.txt

Size: 1.47 GB - Last synced: 10 days ago - Pushed: 10 days ago

cherrywoods/eran Fork of eth-sri/eran

A modification of the ETH Robustness Analyzer for Deep Neural Networks

* requirements.txt

Size: 21.3 MB - Last synced: 9 months ago - Pushed: over 1 year ago

VerdantAI/math-blog

Sometimes you just need equations to get your point across.

==2.1.6 nesy/requirements.txt

Size: 247 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

mesierzega/megan_t_miner_test Fork of jonathanli15/t_miner_test

Dummy Repo to test the T-Miner Action

==2.1.6 requirements.txt

Size: 216 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

mtfarber/t_miner_test Fork of jonathanli15/t_miner_test

Dummy Repo to test the T-Miner Action

==2.1.6 requirements.txt

Size: 115 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

augstb/burnman Fork of geodynamics/burnman

BurnMan is a library for modeling mantle thermodynamics and thermoelasticity constrained by mineral physics experiments.

* .binder/environment.yml

Size: 18.1 MB - Last synced: 9 months ago - Pushed: 11 months ago

eth-sri/eran

ETH Robustness Analyzer for Deep Neural Networks

* requirements.txt

Size: 21 MB - Last synced: 7 days ago - Pushed: over 1 year ago

fran-penedo/twtlplan

Language-Guided Path Planning Using Time-Window Temporal Logic (TWTL)

==1.0.5 requirements.txt

Size: 46.9 KB - Last synced: about 1 year ago - Pushed: over 3 years ago

ntchambers/illacceptanything

The project where literally anything* goes

* requirements.txt

Last synced: over 1 year ago

stla/PyKantorovich

Kantorovich distance with Python.

^2.1.4 pyproject.toml
* requirements.txt

Size: 226 KB - Last synced: about 1 month ago - Pushed: 12 months ago

JacksonZyy/Updated_DeepPoly

The updated system of ERAN

* requirements.txt

Size: 1.84 MB - Last synced: about 1 year ago - Pushed: about 4 years ago

007gzs/test

* requirements.txt

Size: 1.6 MB - Last synced: 4 months ago - Pushed: 4 months ago

furiiibond/Tinder

* venv/Lib/site-packages/lpsolvers-0.8.9-py3.7.egg-info/requires.txt

Size: 9.47 MB - Last synced: about 1 year ago - Pushed: over 3 years ago

Soumyadipta-Maiti/Entity_Linking

Entity Linking with Wikipedia using spacy_entity_linker

==2.1.6 requirements.txt

Size: 152 KB - Last synced: about 1 year ago - Pushed: about 1 year ago

mengyuest/nn_reachable_density

CoRL2021 Learning Density Distribution of Reachable States for Autonomous Systems

==2.1.4 environment.yml

Size: 6.93 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

hungpham2511/rapid-transport

* requirements.txt

Size: 2.54 MB - Last synced: about 1 year ago - Pushed: about 5 years ago

GgnDpSngh/ERAN-VNN-COMP

* requirements.txt

Size: 44.1 MB - Last synced: about 1 year ago - Pushed: over 3 years ago

Pitt-JonesLab/slam_decomposition

Numerical optimizers for decomposing unitary ops, or Hamiltonian parameter sweeping

>=2.1.6 requirements-[old].txt

Size: 156 MB - Last synced: 11 months ago - Pushed: 11 months ago

abasit-AEV/LNN Fork of IBM/LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

>=2.1.4 requirements.txt

Size: 9.3 MB - Last synced: 10 months ago - Pushed: over 1 year ago

SGA-Tsukasa-Nagashima/LOA Fork of IBM/LOA

Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games

==2.1.4 requirements.txt

Size: 82 KB - Last synced: 10 months ago - Pushed: over 1 year ago

leggedrobotics/rayen

Imposition of Hard Convex Constraints on Neural Networks

>=2.1.6 examples/requirements_examples.txt
>=2.1.6 pyproject.toml

Size: 804 KB - Last synced: 28 days ago - Pushed: 4 months ago

TheBearodactyl/illacceptanything Fork of illacceptanything/illacceptanything

The project where literally anything* goes.

* data/requirements.txt

Size: 1.33 GB - Last synced: 10 months ago - Pushed: 10 months ago

Albilani/LNN Fork of IBM/LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

>=2.1.4 requirements.txt

Size: 9.71 MB - Last synced: 10 months ago - Pushed: about 1 year ago

mtakahashi1011/cvx-opt

==2.1.6 requirements.txt

Size: 13.2 MB - Last synced: 8 months ago - Pushed: 8 months ago

lemarawilliams/LNN Fork of IBM/LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

>=2.1.4 requirements.txt

Size: 9.42 MB - Last synced: 10 months ago - Pushed: almost 2 years ago

CogComp/Zero_Shot_Schema_Induction

==2.1.4 requirements_EMNLP_env.txt

Size: 182 MB - Last synced: 16 days ago - Pushed: about 1 year ago

JiYuzhe/ReachNN-CNN Fork of ChaoHuang2018/LayR

This version of ReachNN is for output range analysis of general CNN

* ERAN/requirements.txt

Size: 241 MB - Last synced: 28 days ago - Pushed: over 3 years ago

asimmunawar/LNN Fork of IBM/LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

>=2.1.4 requirements.txt

Size: 9.42 MB - Last synced: 9 months ago - Pushed: almost 2 years ago

mbp28/eran Fork of eth-sri/eran

ETH Robustness Analyzer for Deep Neural Networks

* requirements.txt

Size: 21.3 MB - Last synced: 23 days ago - Pushed: almost 3 years ago

LouisJouret/Neural-Control-Invariance-Checker

Check the invariance of a set for a linear dynamical system controlled by a Neural Network

==2.1.6 requirements.txt

Size: 5.87 MB - Last synced: 4 months ago - Pushed: 4 months ago

Christophe-pere/LNN Fork of IBM/LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

>=2.1.4 requirements.txt

Size: 9.36 MB - Last synced: 9 months ago - Pushed: almost 2 years ago

vivid04/eran Fork of eth-sri/eran

ETH Robustness Analyzer for Deep Neural Networks

* requirements.txt

Size: 21 MB - Last synced: 9 months ago - Pushed: almost 2 years ago

wu-haoze/eran Fork of eth-sri/eran

ETH Robustness Analyzer for Deep Neural Networks

* requirements.txt

Size: 20.4 MB - Last synced: 9 months ago - Pushed: over 3 years ago

braillescreen/illacceptanything Fork of illacceptanything/illacceptanything

The project where literally anything* goes.

* data/requirements.txt

Size: 1.47 GB - Last synced: 9 months ago - Pushed: about 1 year ago

sunildadhich/LNN Fork of IBM/LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

>=2.1.4 requirements.txt

Size: 9.35 MB - Last synced: 8 months ago - Pushed: over 1 year ago

boginw/illacceptanything Fork of illacceptanything/illacceptanything

The project where literally anything* goes.

* data/requirements.txt

Size: 1.33 GB - Last synced: about 1 month ago - Pushed: 9 months ago

wcswcswcs/neuralSDE-marketmodel Fork of vicaws/neuralSDE-marketmodel

Python modules and jupyter notebook examples for the paper Arbitrage-free Neural-SDE Market Models.

==2.1.4 requirements.txt

Size: 6.79 MB - Last synced: 9 months ago - Pushed: over 2 years ago

senniraf/relaxer

* Pipfile
==2.1.6 Pipfile.lock

Size: 120 KB - Last synced: 9 months ago - Pushed: about 1 year ago

juancarlosfarah/debiasyn

The DebiaSyn Toolbox: Pushing the Boundaries of Information-Theoretic Estimators for Neuroimaging Data

2.1.6 poetry.lock

Size: 47.9 KB - Last synced: 2 months ago - Pushed: 2 months ago

g-pichler/psitip Fork of cheuktingli/psitip

Python Symbolic Information Theoretic Inequality Prover

* requirements.txt

Size: 1.95 MB - Last synced: 9 months ago - Pushed: over 1 year ago

jiahaubai/eran Fork of eth-sri/eran

ETH Robustness Analyzer for Deep Neural Networks

* requirements.txt

Size: 21.1 MB - Last synced: 8 months ago - Pushed: about 3 years ago

LRJDDD/eran Fork of eth-sri/eran

ETH Robustness Analyzer for Deep Neural Networks

* requirements.txt

Size: 20 MB - Last synced: 28 days ago - Pushed: about 4 years ago

egozjulian/LNN Fork of IBM/LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

>=2.1.4 requirements.txt

Size: 9.36 MB - Last synced: 8 months ago - Pushed: almost 2 years ago

FamishedHound/plark_ai_public_robustness2 Fork of alan-turing-institute/plark_ai_public

Montvieux has developed “The hunting of the PLARK” Artificial Intelligence (AI) testbed to support a Hackathon activity at the Alan Turing Institute (ATI). The testbed is very flexible and will support both short term exercises in the Hackathon and provide a basis for more extensive, long-term, and cutting edge research. The test bed can be used as a basis to research the limits of agent generalisation, co-operation, and deception in a defence environment.