activity
20232026
most citedBridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification

1 citations · 2 across the 8 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2026

Git-Assistant: Planning-Based Support for Updating Git Repositories

Alfredo Garrachón Ruiz, Tomás de la Rosa, Daniel Borrajo

Version control systems are essential for collaborative software development, yet tools like git remain challenging for many practitioners. Recent advances in Large Language Models…