Paweł Półrolniczak
RTL meets ML: building agents that generate Verilog and then have to prove it. Formal verification, processing-in-memory, physics-informed models.