Search Results for author:
Found 3 papers, 0 papers with code
Joint Verification and Refinement of Language Models for Safety-Constrained Planning
Given a high-level task description in natural language, the proposed method queries a language model to generate plans in the form of executable robot programs.
Robo-Instruct: Simulator-Augmented Instruction Alignment For Finetuning CodeLLMs
In this work, we introduce ROBO-INSTRUCT that preserves the diversity of programs generated by an LLM while providing the correctness of simulator-based checking.
On a Foundation Model for Operating Systems
This paper lays down the research agenda for a domain-specific foundation model for operating systems (OSes).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
