TACAS'23: Verification-guided Programmatic Controller Synthesis
-
Updated
Jan 27, 2023 - C++
#
differentiable-programming
Here are 6 public repositories matching this topic...
Reference implementation for "Temporal Set Inversion for Animated Implicits" (SIGGRAPH 2023)
automatic-differentiation
octree
root-finding
global-optimization
signed-distance-field
sdf
interval-arithmetic
webgpu
frep
autodiff
differentiable-rendering
differentiable-programming
implicit-surfaces
-
Updated
Sep 15, 2023 - C++
Code repository for our paper DiffCloth: Differentiable Cloth Simulation with Dry Frictional Contact
simulator
robotics
simulation
optimization
physics-simulation
inverse-problems
cloth-simulation
differentiable
differentiable-physics-engine
differentiable-programming
inverse-dynamics
differentiable-simulations
-
Updated
May 10, 2024 - C++
Tensor based neutrino oscillation probability calculator
pytorch
autograd
gpu-computing
tensors
particle-physics
neutrino-oscillations
neutrinos
differentiable-programming
neutrino-physics
particle-physics-experiments
-
Updated
Sep 26, 2024 - C++
Productive, portable, and performant GPU programming in Python.
-
Updated
Oct 7, 2024 - C++
Differentiable Programming Algorithms in Modern C++
deep-learning
simulation
optimization
game-development
bayesian-methods
cpp17
particle-physics
algorithmic-trading
optimisation-algorithms
streaming-analytics
differentiable-programming
-
Updated
Nov 4, 2024 - C++
Improve this page
Add a description, image, and links to the differentiable-programming topic page so that developers can more easily learn about it.
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."