Siddharth Bhat
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 21 in the filters
who talks about the same things
- Leo Stefanesco6 talks
- Chris Hughes2 talks
- Tobias Grosser14 talks
- Joshua Clune3 talks
- Thomas Kœhler4 talks
- Thomas Reps20 talks
| title | conference | date |
|---|---|---|
| Interactive Bit Vector Reasoning using Verified Bitblasting | OOPSLA 2025 | 2025-10-16 |
A verified bit-blasting pipeline called bv_decide tactic compiles Lean bitvector goals to AIGs, converts to CNF, calls an external SAT solver that emits… | ||
| Certified Decision Procedures for Width-Independent Bitvector Predicates | OOPSLA 2025 | 2025-10-16 |
Mechanized, executable decision procedures in Lean for width-independent bitvectors that formalize k-induction, automata reachability, emptiness checking and… | ||
| Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming | Dafny 2025 | 2025-01-19 |
Curated a reproducible dataset of about 600K lines and 32K top-level F definitions (extended to 940K lines and 54K defs) plus a program‑fragment checker that… | ||
| Guided Equality Saturation | POPL 2024 | 2024-01-14 |
Guided equality saturation splits a hard e-graph search into sequences of smaller equality-saturation runs guided by human-provided intermediate sketches… | ||
| nothing matches | ||