Satwik Bhattamishra's Avatar

Satwik Bhattamishra

@satwik77.bsky.social

CS PhD student at Oxford | Ex - Research fellow at Microsoft Research India, Undergrad at BITS Pilani satwikb.com

136 Followers  |  103 Following  |  2 Posts  |  Joined: 20.11.2024  |  1.3365

Latest posts by satwik77.bsky.social on Bluesky

x.com

You can find a thread about the paper here: x.com/satwik1729/s...

09.12.2024 19:09 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Excited to head to @NeurIPSConf today! I'll be presenting our work on the representational capabilities of Transformers and RNNs/SSMs. If you're interested in meeting up to discuss research or chat, feel free to reach out via DM or email!

09.12.2024 19:09 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Karp: A Language for NP Reductions

I wanted my Algorithms students to program NP hardness reductions so we developed Karp. A domain specific language for writing Karp reductions. Our students are quite good with a debugger, so reducing learning Theory to debugging seemed like a win. docs.racket-lang.org/karp/index.h...

27.11.2024 04:48 β€” πŸ‘ 27    πŸ” 9    πŸ’¬ 1    πŸ“Œ 1

@satwik77 is following 19 prominent accounts