{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":704101693,"defaultBranch":"main","name":"Verification-of-PINNs","ownerLogin":"avaljotsingh","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-10-12T14:37:45.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/32036444?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1697121574.0","currentOid":""},"activityList":{"items":[{"before":"da7c81455fcd4151a005580ae19c87d4d1dfc79a","after":"c08700d82f00bacd4c2ae1959b257671182839e0","ref":"refs/heads/main","pushedAt":"2023-12-03T04:49:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"Readme updated","shortMessageHtmlLink":"Readme updated"}},{"before":"6fdbddb3dbec183b6be8585ce62c3de1dbe3122d","after":"da7c81455fcd4151a005580ae19c87d4d1dfc79a","ref":"refs/heads/main","pushedAt":"2023-11-29T21:42:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"Remove redundant code from interval domain","shortMessageHtmlLink":"Remove redundant code from interval domain"}},{"before":"1fec40e70ef1db606085935b5d34fb9516af2022","after":"6fdbddb3dbec183b6be8585ce62c3de1dbe3122d","ref":"refs/heads/main","pushedAt":"2023-11-29T21:40:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"make small changes in experiment parameters","shortMessageHtmlLink":"make small changes in experiment parameters"}},{"before":"0b1b0c42b51dbab2f1205b0722462079b6f751c1","after":"1fec40e70ef1db606085935b5d34fb9516af2022","ref":"refs/heads/main","pushedAt":"2023-11-27T09:05:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add final graphs and results","shortMessageHtmlLink":"Add final graphs and results"}},{"before":"3887a7636ff7959bfa4a888e9b85feed686f96a8","after":"0b1b0c42b51dbab2f1205b0722462079b6f751c1","ref":"refs/heads/main","pushedAt":"2023-11-27T02:45:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add notebook to generate Graphs for presentation","shortMessageHtmlLink":"Add notebook to generate Graphs for presentation"}},{"before":"08c026d968e543b20b971d504c85eb0cf4229bfb","after":"3887a7636ff7959bfa4a888e9b85feed686f96a8","ref":"refs/heads/main","pushedAt":"2023-11-27T01:11:42.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/avaljotsingh/sciml_proj","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/avaljotsingh/sciml_proj\">https://github.com/avaljotsingh/sciml_proj</a>"}},{"before":"9db96b60cfc1641fef4f296b07db6d9c29af6d4e","after":"08c026d968e543b20b971d504c85eb0cf4229bfb","ref":"refs/heads/main","pushedAt":"2023-11-27T00:17:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add code to visualize the model in Results","shortMessageHtmlLink":"Add code to visualize the model in Results"}},{"before":"1bf364f22e836d9341f1e6febb8bb29e068d0a5b","after":"9db96b60cfc1641fef4f296b07db6d9c29af6d4e","ref":"refs/heads/main","pushedAt":"2023-11-27T00:08:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"Traint certified model by sampling","shortMessageHtmlLink":"Traint certified model by sampling"}},{"before":"771f23f9cc089d0ee8008b56183ba4b120628a42","after":"1bf364f22e836d9341f1e6febb8bb29e068d0a5b","ref":"refs/heads/main","pushedAt":"2023-11-26T23:46:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"random checking","shortMessageHtmlLink":"random checking"}},{"before":"0cf0992958ec522e48198b978d296ad036ba4feb","after":"771f23f9cc089d0ee8008b56183ba4b120628a42","ref":"refs/heads/main","pushedAt":"2023-11-26T23:00:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"Train normalised for 100 iterations","shortMessageHtmlLink":"Train normalised for 100 iterations"}},{"before":"3a2c4990cd14b5d1f99a277e96b59f5edf6184cf","after":"0cf0992958ec522e48198b978d296ad036ba4feb","ref":"refs/heads/main","pushedAt":"2023-11-26T22:41:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"Train unnormalised certified model","shortMessageHtmlLink":"Train unnormalised certified model"}},{"before":"e4a45019b0b726b74f1efd7d3434ea6e24eab361","after":"3a2c4990cd14b5d1f99a277e96b59f5edf6184cf","ref":"refs/heads/main","pushedAt":"2023-11-26T21:17:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"Train certified model for 1000 epochs","shortMessageHtmlLink":"Train certified model for 1000 epochs"}},{"before":"1ab29f9e02f2956549a14470c59ac5ad1d0faf57","after":"e4a45019b0b726b74f1efd7d3434ea6e24eab361","ref":"refs/heads/main","pushedAt":"2023-11-26T21:14:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"Train certified model for 1000 epochs","shortMessageHtmlLink":"Train certified model for 1000 epochs"}},{"before":"2e0b460d04bcae3e36d4b7112ca588559806dd80","after":"1ab29f9e02f2956549a14470c59ac5ad1d0faf57","ref":"refs/heads/main","pushedAt":"2023-11-26T00:34:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Do minor refactoring and start accumulating results in Results.ipynb\n\n- Create util.py with some helper functions\n- Results.ipynb in Experiments has the final results","shortMessageHtmlLink":"Do minor refactoring and start accumulating results in Results.ipynb"}},{"before":"ceb301c897148b067f94e1db5845487a057f2636","after":"2e0b460d04bcae3e36d4b7112ca588559806dd80","ref":"refs/heads/main","pushedAt":"2023-11-23T23:14:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"Implement initial versions of certified and pgd training","shortMessageHtmlLink":"Implement initial versions of certified and pgd training"}},{"before":"747d164d13260048749324c0ac2380484a6ec8bc","after":"ceb301c897148b067f94e1db5845487a057f2636","ref":"refs/heads/main","pushedAt":"2023-11-23T19:11:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"fix tanh bugs","shortMessageHtmlLink":"fix tanh bugs"}},{"before":"31c26a03cf72712d6dc6c92861d5234ad21c8452","after":"747d164d13260048749324c0ac2380484a6ec8bc","ref":"refs/heads/main","pushedAt":"2023-11-08T02:01:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add experiments with double deriv.","shortMessageHtmlLink":"Add experiments with double deriv."}},{"before":"d300adb9643e689e9be7793353a3f13b20f0d94e","after":"31c26a03cf72712d6dc6c92861d5234ad21c8452","ref":"refs/heads/main","pushedAt":"2023-11-08T00:05:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Debangshu-Banerjee","name":"Debangshu Banerjee","path":"/Debangshu-Banerjee","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31929616?s=80&v=4"},"commit":{"message":"Bug Fix: the interval bounds for the double derivative","shortMessageHtmlLink":"Bug Fix: the interval bounds for the double derivative"}},{"before":"44497012624b4d17ca17fc3834c9d5090970ddcd","after":"d300adb9643e689e9be7793353a3f13b20f0d94e","ref":"refs/heads/main","pushedAt":"2023-11-07T23:06:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"implement double derivative","shortMessageHtmlLink":"implement double derivative"}},{"before":"0533949e0edde29dc42806c0489ab1dc019d859a","after":"44497012624b4d17ca17fc3834c9d5090970ddcd","ref":"refs/heads/main","pushedAt":"2023-10-30T01:17:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add data for t in [0, 0.2]","shortMessageHtmlLink":"Add data for t in [0, 0.2]"}},{"before":"95bd80951e2434a07643f6c7ea37f828a8ab159b","after":"0533949e0edde29dc42806c0489ab1dc019d859a","ref":"refs/heads/main","pushedAt":"2023-10-23T04:22:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add results without input splitting","shortMessageHtmlLink":"Add results without input splitting"}},{"before":"2161468c42ccda16ae008e29e04c28d718625aca","after":"95bd80951e2434a07643f6c7ea37f828a8ab159b","ref":"refs/heads/main","pushedAt":"2023-10-23T01:24:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add per partition bounds visualization","shortMessageHtmlLink":"Add per partition bounds visualization"}},{"before":"59a58400b24afe8255135a8014dcf1f4cea83c86","after":"2161468c42ccda16ae008e29e04c28d718625aca","ref":"refs/heads/main","pushedAt":"2023-10-22T22:31:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Compute the residual bounds for different ranges of x separately\n\nTo supoort our hunch (and observation) that the better model\nonly faulters near 0.","shortMessageHtmlLink":"Compute the residual bounds for different ranges of x separately"}},{"before":"ad647070bb0fc6ea1576fa9dc347a9efad8c2c57","after":"59a58400b24afe8255135a8014dcf1f4cea83c86","ref":"refs/heads/main","pushedAt":"2023-10-22T22:04:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add code to visualize residual errors","shortMessageHtmlLink":"Add code to visualize residual errors"}},{"before":"98710e2ad16fd370cef57250d757baa50d3bbe41","after":"ad647070bb0fc6ea1576fa9dc347a9efad8c2c57","ref":"refs/heads/main","pushedAt":"2023-10-22T21:51:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Fix bug in input splitting code\n\nIssue pending: Weaker model still has better residual error bounds.","shortMessageHtmlLink":"Fix bug in input splitting code"}},{"before":"4f47521d1f6e15ed473fa406a240c0cd20645e66","after":"98710e2ad16fd370cef57250d757baa50d3bbe41","ref":"refs/heads/main","pushedAt":"2023-10-17T22:23:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avaljotsingh","name":null,"path":"/avaljotsingh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32036444?s=80&v=4"},"commit":{"message":"change forward pass in interpret","shortMessageHtmlLink":"change forward pass in interpret"}},{"before":"ee7086595eb8ac656ce5a7bd089f5a17d772f88a","after":"4f47521d1f6e15ed473fa406a240c0cd20645e66","ref":"refs/heads/main","pushedAt":"2023-10-16T17:06:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Fix handling of 0 corner case in relu_deriv and rerun experiment","shortMessageHtmlLink":"Fix handling of 0 corner case in relu_deriv and rerun experiment"}},{"before":"c08dc3c1d1cd768fe8225a11661c10f5749c8d07","after":"ee7086595eb8ac656ce5a7bd089f5a17d772f88a","ref":"refs/heads/main","pushedAt":"2023-10-16T04:37:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add initial experiment data\n\nSetup:\n\n- 2 models: pinn-burgers and pinn-burgers_weak (weak is trained without the residual loss)\n- Value and derivative bounds are calculated using interval domain propogation.\n- Input splitting is used to increase the precision.\n- Results are somewhat promising as the weaker model has higher residual bound","shortMessageHtmlLink":"Add initial experiment data"}},{"before":"cd21bc0613b42d3abb5fd653835164ad7e6e0fdd","after":"c08dc3c1d1cd768fe8225a11661c10f5749c8d07","ref":"refs/heads/main","pushedAt":"2023-10-16T03:41:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Fix bug in tanh_deriv\n\nApparently, np.logical_and does what we were earlier\ntrying to achieve.","shortMessageHtmlLink":"Fix bug in tanh_deriv"}},{"before":"f39227c0f0e04957684251f410c2104a974a1fe2","after":"cd21bc0613b42d3abb5fd653835164ad7e6e0fdd","ref":"refs/heads/main","pushedAt":"2023-10-16T02:41:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sgomber","name":"Shaurya Gomber","path":"/sgomber","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31078236?s=80&v=4"},"commit":{"message":"Add notebooks and model for bounds calculation experiment","shortMessageHtmlLink":"Add notebooks and model for bounds calculation experiment"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADvsQlAQA","startCursor":null,"endCursor":null}},"title":"Activity · avaljotsingh/Verification-of-PINNs"}