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

differentiable-programming

Here are 56 public repositories matching this topic...

victoriacity
victoriacity commented Aug 30, 2021

The current Field APIs, including ScalarField, MatrixField, and Structfield (after #2627) use assertions statements to check input validity, for example,

https://github.com/taichi-dev/taichi/blob/03e2923d103704048c101051d337fa31f9dbb1de/python/taichi/lang/matrix.py#L207

In software engineering practice, assertion is used to verify whether the program itself is implemented correctly regardles

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 Aug 11, 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