Abstract: Software refactoring is widely conducted in the industry and well-studied in the academic community. There are dozens of software refactoring types, and each type of refactoring often ...

This repository demonstrates how to convert Hugging Face tokenizers to ONNX format and use them along with embedding models in multiple programming languages. While we can easily download ONNX models ...

MCP server that allows agentic interaction with the Lean theorem prover via the Language Server Protocol using leanclient. This server provides a range of tools for LLM agents to understand, analyze ...

Abstract: This work describes a real testbed for enabling Unmanned Aerial Vehicles (UAVs)-to-ground real-time video streaming. The aim is in providing a video feed to the pilot on the ground for ...