Kishor Jothimurugan @KeysShore

Quantitative Researcher @twosigma keyshor.github.io New York, USA Joined March 2022

Tweets

30
Followers

158
Following

301
Likes

111

Kishor Jothimurugan @KeysShore

2 years ago

I’ll be presenting my paper on “Robust Subtask Learning for Compositional Generalization” at tomorrow’s morning poster session at ICML. Consider stopping by if you’re attending!

0 1 11 743 0

Rajeev Alur @RajeevAlur

2 years ago

How can compositionality, a key idea in scaling formal methods, help RL for long horizon tasks? Check out paper with @KeysShore and @obastani to be presented at @icmlconf

1 3 33 3K 4

Download Image

Rajeev Alur @RajeevAlur

2 years ago

Congratulations to fresh @CIS_Penn PhDs @KeysShore and @AalokDThakkar for great dissertations on “specification guided reinforcement learning” and “example guided query synthesis” respectively

2 5 52 5K 0

Download Image

Center for Safe, Explainable, and Trustworthy AI @PennAsset

3 years ago

Join @PennAsset and @CIS_Penn faculty @RajeevAlur @obastani, PhD student @KeysShore and alumna @sugumanbansal at @gatech_scs for a tutorial on use of logical specifications for RL at @RealAAAI on Feb 7

0 5 11 5K 0

Download Image

Kishor Jothimurugan @KeysShore

3 years ago

I’m on the job market this year! My work aims to improve ML tools and techniques using ideas from Formal Methods. In particular, I have worked on Specification-Guided RL and Compositional Learning and Verification. More about my work on my website: keyshor.github.io

Rajeev Alur @RajeevAlur

3 years ago

1 4 17 0 1

Download Image

1 6 23 0 0

Suguman Bansal @sugumanbansal

3 years ago

Looking for Ph.D. students at the intersection of Formal Methods and Artificial Intelligence. Research includes cutting-edge problems on Formal Methods in Reinforcement Learning and classical problems in verification and synthesis. Apply to @gatech_scs by December 15 and DM me!

2 50 130 0 12

Mayur Naik @AI4Code

3 years ago

Prospective PhD students: Interested in doing research on programming languages and systems for Safe, Explainable, and Trustworthy AI? I and other faculty in related areas @CIS_Penn and @PennAsset are hiring! RTs much appreciated!🙏 Read on ... (1/4)

2 16 34 0 12

Kishor Jothimurugan @KeysShore

3 years ago

Presenting my work on “Specification-Guided Learning of Nash Equilibria with High Social Welfare” at CAV tomorrow at 2PM. This is joint work with @sugumanbansal @obastani and @RajeevAlur. See you there if you are around! Paper: arxiv.org/abs/2206.03348

1 0 13 0 0

Suguman Bansal @sugumanbansal

3 years ago

[3/n] Presenting our new work on "A Framework for Transforming Speicifcations in Reinforcement Learning" with @RajeevAlur, @obastani, and @KeysShore at SYNT 2022. Paper: suguman.github.io/Papers/RLFrame…

1 1 2 0 0

Suguman Bansal @sugumanbansal

3 years ago

[2/n] Presenting our @confCAV 2022 paper titled "Specification-Guided Learning of Nash Equilibria with High Social Welfare" with @KeysShore, @obastani, and @RajeevAlur. Paper: suguman.github.io/Papers/CAV22.p… Poster: suguman.github.io/Poster/spectrl…

1 1 4 0 0

Kishor Jothimurugan @KeysShore

3 years ago

In NYC for a summer internship. Looking to meet folks in the city. Hmu if you want to chat (about research or otherwise) over coffee!

0 0 10 0 0

Satnam Singh @satnam6502

3 years ago

I turned 56 today. I’ve been reflecting on what (if anything) I have learned in my life that I can tell you that might be of use or interest to you. I’ll spare you the details of the specifics of my history and background and how I got from a poor rural family in India to

57 69 837 0 248

Kishor Jothimurugan @KeysShore

3 years ago

PhD update: I have successfully defended my thesis proposal. Many thanks to my committee @obastani, @pappasg69, @thenzinger, Sampath Kannan and my advisor @RajeevAlur!

6 2 33 0 0

Kishor Jothimurugan @KeysShore

3 years ago

Just tried the “rehearse” feature of MS Office out of curiosity. Turns out that it is really good!

0 0 4 0 0

Download Image

Kishor Jothimurugan @KeysShore

3 years ago

My work on “Specification-Guided Learning of Nash Equilibria with High Social Welfare” has been accepted at CAV 2022! This is joint work with @RajeevAlur, @sugumanbansal and @obastani. We propose a search-and-verify procedure for a multi-agent RL problem. More details soon!