siddhartha-gadgil/ProvingGround issues and pull requests

#271 - Autonomous + interactive running framework

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 4 comments
Labels: notes

#271 - Autonomous + interactive running framework

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 4 comments
Labels: notes

#271 - Autonomous + interactive running framework

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 4 comments
Labels: notes

#270 - Malformed term: wrong level for the universe

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 3 comments
Labels: bug

#270 - Malformed term: wrong level for the universe

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 3 comments
Labels: bug

#269 - Make island initMap depend on variable weight; remove complex islands

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#269 - Make island initMap depend on variable weight; remove complex islands

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#269 - Make island initMap depend on variable weight; remove complex islands

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#268 - normalize islands in equations

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#268 - normalize islands in equations

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#268 - normalize islands in equations

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#268 - normalize islands in equations

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#267 - witness based equality relations

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#267 - witness based equality relations

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#267 - witness based equality relations

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#266 - mill mantle.assembly build invalid jar

Issue - State: closed - Opened by stasimus about 5 years ago - 1 comment

#266 - mill mantle.assembly build invalid jar

Issue - State: closed - Opened by stasimus about 5 years ago - 1 comment

#266 - mill mantle.assembly build invalid jar

Issue - State: closed - Opened by stasimus about 5 years ago - 1 comment

#266 - mill mantle.assembly build invalid jar

Issue - State: closed - Opened by stasimus about 5 years ago - 1 comment

#265 - Allow depth bound while evaluating generative models

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#265 - Allow depth bound while evaluating generative models

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#265 - Allow depth bound while evaluating generative models

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#265 - Allow depth bound while evaluating generative models

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 1 comment

#264 - crash during function application involving Pi's and Sigma's

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 3 comments
Labels: bug

#264 - crash during function application involving Pi's and Sigma's

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 3 comments
Labels: bug

#264 - crash during function application involving Pi's and Sigma's

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 3 comments
Labels: bug

#264 - crash during function application involving Pi's and Sigma's

Issue - State: closed - Opened by siddhartha-gadgil about 5 years ago - 3 comments
Labels: bug

#263 - Clean variable names for Derived equations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#263 - Clean variable names for Derived equations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#263 - Clean variable names for Derived equations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#262 - Incorrect behaviour of gradient flow

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#262 - Incorrect behaviour of gradient flow

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#262 - Incorrect behaviour of gradient flow

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#262 - Incorrect behaviour of gradient flow

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#261 - Derived equations for optimizing generation

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#261 - Derived equations for optimizing generation

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#261 - Derived equations for optimizing generation

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#261 - Derived equations for optimizing generation

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#260 - Adversarial, local, relative optima

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#260 - Adversarial, local, relative optima

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#260 - Adversarial, local, relative optima

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#260 - Adversarial, local, relative optima

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#259 - Allow generation by a mixture

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 4 comments
Labels: notes

#259 - Allow generation by a mixture

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 4 comments
Labels: notes

#258 - Learning coefficients in a generative model

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment
Labels: notes

#258 - Learning coefficients in a generative model

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment
Labels: notes

#258 - Learning coefficients in a generative model

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment
Labels: notes

#257 - Deep learning: why, how

Issue - State: open - Opened by siddhartha-gadgil over 5 years ago - 7 comments
Labels: notes

#256 - Bi-directional flow using EquationNodes; smoothing and targeting

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment
Labels: notes

#256 - Bi-directional flow using EquationNodes; smoothing and targeting

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment
Labels: notes

#256 - Bi-directional flow using EquationNodes; smoothing and targeting

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment
Labels: notes

#255 - Concave functions for combinations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments
Labels: notes

#255 - Concave functions for combinations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments
Labels: notes

#254 - Abstraction, generalization, common results

Issue - State: open - Opened by siddhartha-gadgil over 5 years ago - 2 comments
Labels: notes

#254 - Abstraction, generalization, common results

Issue - State: open - Opened by siddhartha-gadgil over 5 years ago - 2 comments
Labels: notes

#253 - Have field `baseFunction` for `RecFunc` etc

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#253 - Have field `baseFunction` for `RecFunc` etc

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#253 - Have field `baseFunction` for `RecFunc` etc

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#252 - Clean up generator nodes: output, recursive/base

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#252 - Clean up generator nodes: output, recursive/base

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#252 - Clean up generator nodes: output, recursive/base

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#251 - Equality, induction using proof irrelevance for lean import

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment
Labels: easy

#251 - Equality, induction using proof irrelevance for lean import

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment
Labels: easy

#250 - Clean up Lean; better REPL interface

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#250 - Clean up Lean; better REPL interface

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#250 - Clean up Lean; better REPL interface

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#250 - Clean up Lean; better REPL interface

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#249 - Bug in lean parsing

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 4 comments
Labels: bug

#249 - Bug in lean parsing

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 4 comments
Labels: bug

#249 - Bug in lean parsing

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 4 comments
Labels: bug

#249 - Bug in lean parsing

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 4 comments
Labels: bug

#248 - Update trepplein

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#248 - Update trepplein

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#248 - Update trepplein

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#248 - Update trepplein

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#247 - Simplifying Induction to Recursion

Pull Request - State: closed - Opened by babu-akhil over 5 years ago - 5 comments

#247 - Simplifying Induction to Recursion

Pull Request - State: closed - Opened by babu-akhil over 5 years ago - 5 comments

#247 - Simplifying Induction to Recursion

Pull Request - State: closed - Opened by babu-akhil over 5 years ago - 5 comments

#247 - Simplifying Induction to Recursion

Pull Request - State: closed - Opened by babu-akhil over 5 years ago - 5 comments

#246 - Simplified induction to recursion for Unit Type

Pull Request - State: closed - Opened by babu-akhil over 5 years ago - 1 comment

#246 - Simplified induction to recursion for Unit Type

Pull Request - State: closed - Opened by babu-akhil over 5 years ago - 1 comment

#246 - Simplified induction to recursion for Unit Type

Pull Request - State: closed - Opened by babu-akhil over 5 years ago - 1 comment

#246 - Simplified induction to recursion for Unit Type

Pull Request - State: closed - Opened by babu-akhil over 5 years ago - 1 comment

#245 - Memoize while computing distributions, equations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#245 - Memoize while computing distributions, equations

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#244 - Casting error

Issue - State: closed - Opened by babu-akhil over 5 years ago - 5 comments
Labels: bug

#243 - FlatMap should have node-output variables

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#243 - FlatMap should have node-output variables

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#243 - FlatMap should have node-output variables

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 2 comments

#242 - mill not working

Issue - State: closed - Opened by babu-akhil over 5 years ago - 1 comment

#242 - mill not working

Issue - State: closed - Opened by babu-akhil over 5 years ago - 1 comment

#242 - mill not working

Issue - State: closed - Opened by babu-akhil over 5 years ago - 1 comment

#242 - mill not working

Issue - State: closed - Opened by babu-akhil over 5 years ago - 1 comment

#241 - Eliminate `Boat` as a parameter if it is not needed

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#241 - Eliminate `Boat` as a parameter if it is not needed

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago

#240 - Crashing during reverse deduction

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago
Labels: bug

#240 - Crashing during reverse deduction

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago
Labels: bug

#240 - Crashing during reverse deduction

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago
Labels: bug

#239 - Generating rule for Currying

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment

#239 - Generating rule for Currying

Issue - State: closed - Opened by siddhartha-gadgil over 5 years ago - 1 comment

GitHub / siddhartha-gadgil/ProvingGround issues and pull requests