Saketh Ram Kasibatla

According to our database1, Saketh Ram Kasibatla authored at least 3 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Cobblestone: Iterative Automation for Formal Verification.
CoRR, 2024

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2018
Seymour: A Live Programming Environment for the Classroom.
PhD thesis, 2018


  Loading...