| 2026 |
J |
jnl |
CoRR
Neelay Velingker, Alaia Solko-Breslin, Mayank Keoliya, Seewon Choi, Jiayi Xin, Anika Marathe, Alireza Oraii, Rajat Deo, Sameed Ahmed M. Khatana, Rajeev Alur, Mayur Naik, Eric Wong
|
| 2025 |
J |
jnl |
CoRR
Jiani Huang, Amish Sethi, Matthew Kuo, Mayank Keoliya, Neelay Velingker, JungHo Jung, Ser-Nam Lim, Ziyang Li, Mayur Naik
|
| 2025 |
J |
jnl |
CoRR
Adam Stein, Neelay Velingker, Mayur Naik, Eric Wong
|
| 2025 |
J |
jnl |
CoRR
Adam Stein, Aaditya Naik, Neelay Velingker, Mayur Naik, Eric Wong
|
| 2024 |
A* |
conf |
ICML
Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong
|
| 2024 |
J |
jnl |
CoRR
Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong
|
| 2024 |
A* |
conf |
NeurIPS
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
|
| 2024 |
J |
jnl |
CoRR
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
|
| 2024 |
J |
jnl |
CoRR
Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
|
| 2024 |
A* |
conf |
AAAI
Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
|
| 2019 |
J |
jnl |
CoRR
Brian Heath, Neelay Velingker, Osbert Bastani, Mayur Naik
|