Skip to content

@dechterlab Automated Reasoning Group at University of California, Irvine

Change the repository type filter

All

    Repositories list

    23 repositories

    • uai23-KstarMAP-benchmarks

      Public
      Benchmarks used for evaluation in the work "Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO" accepted to UAI 2023.
      0•1•1•0•Updated Jun 14, 2023Jun 14, 2023

    • abstraction-sampling

      Public
      Abstraction Sampling code based on code by Kalev
      C++
      •
      MIT License
      •0•0•0•0•Updated Nov 21, 2022Nov 21, 2022

    • pyGM

      Public
      Python toolbox for graphical models
      Python
      •
      Other
      •8•0•0•0•Updated Nov 15, 2022Nov 15, 2022

    • daoopt-docker

      Public
      docker project for daoopt static binary
      Dockerfile
      •
      MIT License
      •0•0•0•0•Updated Aug 1, 2022Aug 1, 2022

    • merlin

      Public
      An extensible C++ library for probabilistic inference in graphical models.
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •22•0•0•0•Updated Jun 28, 2022Jun 28, 2022

    • NeuroBE

      Public
      NeuroBE based on code by Kalev.
      C++
      •0•0•0•0•Updated Jun 13, 2022Jun 13, 2022

    • sample-website

      Public
      Testing GitHub Pages
      0•0•0•0•Updated Feb 1, 2022Feb 1, 2022

    • DBE

      Public
      Deep Bucket Elimination based on code by Kalev.
      C++
      •0•2•0•0•Updated May 20, 2021May 20, 2021

    • CVO

      Public
      Award winning code produced by Kalev Kask and William Lam to produce viable variable orderings for graphical models.
      C++
      •
      MIT License
      •0•0•0•0•Updated Mar 22, 2021Mar 22, 2021

    • uai-benchmark-additional

      Public
      Additional UAI benchmark problems
      MIT License
      •0•1•0•0•Updated Mar 8, 2021Mar 8, 2021

    • uai-benchmark-mmap

      Public
      Benchmark Instances for MMAP task
      MIT License
      •0•0•0•0•Updated Mar 8, 2021Mar 8, 2021

    • uai-competitions

      Public
      UAI competition benchmark instances
      MIT License
      •0•5•0•0•Updated Mar 8, 2021Mar 8, 2021

    • satss

      Public
      Code for SampleSearch for Approximate Solution Counting by Vibhav Gogate
      C++
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 29, 2020Dec 29, 2020

    • quickbb

      Public
      Code for QuickBB by Vibhav Gogate
      Shell
      •
      GNU General Public License v2.0
      •1•3•0•0•Updated Dec 29, 2020Dec 29, 2020

    • ijgp-samplesearch

      Public
      Code for IJGP-sampling and SampleSearch by Vibhav Gogate
      C++
      •0•0•0•0•Updated Dec 29, 2020Dec 29, 2020

    • aolibPE

      Public
      Code for AND/OR search for graphical models by Robert Mateescu
      C++
      •0•1•0•0•Updated Dec 29, 2020Dec 29, 2020

    • gmid2-public

      Public
      Code for paper Submodel Decomposition Bounds for Influence Diagrams (AAAI 2021)
      Python
      •
      MIT License
      •1•0•0•0•Updated Dec 28, 2020Dec 28, 2020

    • gmid-public

      Public
      Code for A Weighted Mini-Bucket Bound for Solving Influence Diagrams (UAI 2019) and Join-Graph Decomposition Bounds for Influence Diagrams (UAI 2018).
      Python
      •1•0•0•0•Updated Dec 28, 2020Dec 28, 2020

    • OSPREY3

      Public
      Open Source Protein REdesign for You v3
      Java
      •
      GNU General Public License v2.0
      •16•0•0•0•Updated Nov 24, 2020Nov 24, 2020

    • GpuBE

      Public
      C++
      •1•0•0•0•Updated Jun 4, 2018Jun 4, 2018

    • daoopt-exp

      Public
      Version of DAOOPT with implementations of dynamic heuristics and best-first search.
      C++
      •
      Other
      •2•0•0•0•Updated Nov 18, 2017Nov 18, 2017

    • daoopt

      Public
      Sequential and distributed AND/OR Branch and Bound for MPE (max-product) problems over graphical models like Bayes and Markov networks.
      C++
      •
      Other
      •12•0•0•0•Updated Jan 28, 2016Jan 28, 2016

    • aomdd

      Public
      Base implementation of AOMDDs
      C++
      •2•0•0•0•Updated Aug 8, 2014Aug 8, 2014
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.