Skill UI

This tool is designed to help optimize and refine prompts used with Large Language Models (LLMs). By structuring inputs, it ensures that the instructions given to AI systems are clear, comprehensive, and contextually rich, resulting in significantly higher quality and relevance of the generated output. Useful for developers, writers, and researchers.

A specialized tool for formalizing and verifying complex mathematical proofs, particularly in Machine Learning and AI theory. It guides users through structuring theorems, identifying explicit assumptions, performing feasibility triage, and ensuring every logical step is rigorously justified, preventing the fabrication of proofs.

This tool is designed to help optimize and refine prompts used with Large Language Models (LLMs). By structuring inputs, it ensures that the instructions given to AI systems are clear, comprehensive, and contextually rich, resulting in significantly higher quality and relevance of the generated output. Useful for developers, writers, and researchers.

Provides an expert framework for authors submitting to the Conference on Robot Learning (CoRL). It guides writers on how to re-frame general computer science manuscripts into specialized, robust robot-learning narratives. The guide covers defining the contribution type, establishing the evidence bar (from simulation to real-world transfer), and strategically positioning the work against major robotics conferences like ICRA and IROS.