<?xml-stylesheet type="text/xsl" href="https://academic-works.astrareconslabs.com/feed.xsl"?>https://academic-works.astrareconslabs.com/notes/Academic homepage of Parth Sinha, researcher in Computer Science.en-gb (Parth Sinha)Sat, 16 May 2026 10:34:04 +0000https://academic-works.astrareconslabs.com/notes/~/the-fabric-strategy-for-verifying-neural-feedback-systems/Sat, 16 May 2026 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/the-fabric-strategy-for-verifying-neural-feedback-systems/Notes on the FABRIC strategy for verifying nonlinear neural feedback systems by combining forward reachability, backward reachability, polyhedral enclosures, MILP encodings, DRiPy refinement, and FITS inner-set construction.https://academic-works.astrareconslabs.com/notes/~/reachable-polyhedral-marching-for-deep-learned-control-systems/Wed, 13 May 2026 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/reachable-polyhedral-marching-for-deep-learned-control-systems/Notes on Vincent &amp; Schwager (2022) introducing the Reachable Polyhedral Marching (RPM) algorithm for exact reachability analysis of ReLU neural network controllers.https://academic-works.astrareconslabs.com/notes/~/demo-note-images-tables-and-latex-in-academic-work/Sun, 12 Jan 2025 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/demo-note-images-tables-and-latex-in-academic-work/A showcase note demonstrating image embedding, a borderless striped table, lists, code, and LaTeX rendering in the Academic Work theme.https://academic-works.astrareconslabs.com/notes/~/reading-notes-lamport-clocks-and-happens-before/Thu, 03 Oct 2024 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/reading-notes-lamport-clocks-and-happens-before/Notes on Lamport&rsquo;s 1978 paper introducing logical clocks and the happens-before relation, with observations on how the idea maps onto modern distributed databases.https://academic-works.astrareconslabs.com/notes/~/working-notes-what-raft-actually-guarantees/Thu, 18 Jul 2024 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/working-notes-what-raft-actually-guarantees/Informal notes clarifying which safety and liveness properties Raft provides under which assumptions, written while preparing a talk on adaptive consensus.https://academic-works.astrareconslabs.com/notes/~/first-year-of-a-phd-what-i-wish-i-had-known/Fri, 01 Sep 2023 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/first-year-of-a-phd-what-i-wish-i-had-known/Honest notes on what the first year of doctoral research actually looks like — the good, the disorienting, and the practical.