We stand with Ukraine  

Keshav Ramani

Orcid: 0000-0003-1606-2065

According to our database1, Keshav Ramani authored at least 6 papers between 2023 and 2025.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification.
[BibTeX]
[DOI]
Keshav Ramani
,
Vali Tawosi
,
Salwa Alamir
,
Daniel Borrajo
CoRR, October, 2025

ALMAS: an Autonomous LLM-based Multi-Agent Software Engineering Framework.
[BibTeX]
[DOI]
Vali Tawosi
,
Keshav Ramani
,
Salwa Alamir
,
Xiaomo Liu
CoRR, October, 2025

GenPlanX. Generation of Plans and Execution.
[BibTeX]
[DOI]
Daniel Borrajo
,
Giuseppe Canonaco
,
Tomás de la Rosa
,
Alfredo Garrachón Ruiz
,
Sriram Gopalakrishnan
,
Simerjot Kaur
,
Marianela Morales
,
Sunandita Patra
,
Alberto Pozanco
,
Keshav Ramani
,
Charese Smiley
,
Pietro Totis
,
Manuela Veloso
CoRR, June, 2025

Hypercone Assisted Contour Generation for Out-of-Distribution Detection.
[BibTeX]
[DOI]
Annita Vapsi
,
Andrés Muñoz
,
Nancy Thomas
,
Keshav Ramani
,
Daniel Borrajo
CoRR, January, 2025

2023
Methods for matching English language addresses.
[BibTeX]
[DOI]
Keshav Ramani
,
Daniel Borrajo
Trans. GIS, April, 2023

Classification of Tabular Data by Text Processing.
[BibTeX]
[DOI]
Keshav Ramani
,
Daniel Borrajo
CoRR, 2023


  Loading...