LLMs
LLM-Based Code Documentation Generation and Multi-Judge Evaluation
✓Formal Verification Content type: AcademicQuery-based Cross-Modal Projector Bolstering Mamba Multimodal LLM
📐Formal Languages Content type: AcademicSafeRun: Enabling Determinism in LLM Planning for Running
🌳Decision-Time Planning Content type: AcademicLess-relevant results