The Wayback Machine - https://web.archive.org/web/20210808020728/https://github.com/topics/differentiable-programming
Skip to content
#

differentiable-programming

Here are 55 public repositories matching this topic...

k-ye
k-ye commented Aug 1, 2021

https://github.com/taichi-dev/taichi/blob/471e3882ee7893234fd38c7589a0a2360cd960f2/taichi/program/callable.h#L16-L33

Right now it isn't serializable yet because of dt. That is, DataType itself is a wrapper around a polymorphic pointer, which isn't trivially serializable.

To make this work, we can replace the usage of DataType with PrimitiveTypeID (not to be confused with `PrimitiveT

texasmichelle
texasmichelle commented Jun 10, 2020

When installing the S4TF toolchain, it's not always clear whether all components are intact and versions are compatible. It would be helpful to have a quick verification tool that uses the toolchain and reports success.

This is especially useful for installations involving accelerators, so the first two features could be:

  • Can invoke the toolchain and import TensorFlow
  • Can run on
kotlingrad
breandan
breandan commented Oct 25, 2020

Debugging Kotlin∇ code within IntelliJ IDEA can be somewhat cumbersome due to the functional API structure (lots of deeply-nested stack traces and context switching). To facilitate more user-friendly debugging, we should add support for visual debugging by exposing Kaliningraph’s built-in graph visualization capabilities. For example, the use

SAT and Answer Set solver for probability distribution-aware model sampling and multi-models optimization using Differentiable Satisfiability. :::::: Use cases: Probabilistic SAT solving, Probabilistic Answer Set Programming (Probabilistic ASP), ... ::::::
  • Updated Jul 24, 2021
  • Scala

Improve this page

Add a description, image, and links to the differentiable-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the differentiable-programming topic, visit your repo's landing page and select "manage topics."

Learn more